Actualité en relation:

Axiome de l'ensemble vide

Introduction à la théorie des ensembles [détail des éditions] René Cori et Daniel Lascar, Logique mathématique, tomes 2, chapitre 7 [détail des éditions], Masson

Tautologie

Kleene 2002, p. 131. On trouve cette définition dans René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul

Union (mathématiques)

Licence 1, Dunod, 2018, 3e éd. (lire en ligne), p. 22. René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie

Aleph (nombre)

Krivine, Théorie des ensembles [détail des éditions], 2007 René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie

Théorie des ensembles

Introduction à la théorie des ensembles [détail des éditions] René Cori et Daniel Lascar, Logique mathématique, tomes 2, chapitre 7 [détail des éditions], Masson

Implication (logique)

quantificateur (universel) est sous-entendu. Ouvrages René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul

Théorie de la calculabilité

ouvrage en attente de publication depuis décembre 2020. René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie

Nombre cardinal

fondation. Voir par exemple Gillman 2002, p. 550-551. René Cori et Daniel Lascar, Logique mathématique, Dunod, Paris 2003, vol. 2, chap. 7, § 4.13, p