Les fondements logiques des mathématiques |
Contents
Passage à la logique élémentaire intégrale | 5 |
Développements récents | 7 |
Théories déductives contradictoires et noncon | 12 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
antinomies application arithmétique atomes axiomatisations axiomes Brouwer Cantor champ de hauteur Church classe constitue contient Dedekind définir définition par récurrence démontrer dérivation disjonction également éléments expressions neutres formalisation forme canonique forme prénexe fractions duales Fraenkel Frege Herbrand Heyting Hilbert identité logique introduit l'antinomie l'arithmétique l'axiome l'ensemble l'expression logic logique des énoncés logique élémentaire Mathematica mathématiques intuitionistes métamathématique modèle neutres du genre nombre de Gödel nombre naturel nombre ordinal nombre réel nombres entiers notion Peano philosophie postulats D(1 pourrons prédicat principes problème propriété quantificateurs quelconque raisonnement par récurrence résultat Russell sera Skolem sous-ensemble suffit suite de choix Supposons syntaxe système de postulats système des nombres système logique Taraki Tarski thématique théorème de déduction théorème de Gödel théorème de Herbrand théorie déductive théorie des ensembles théorie des nombres théorie des types thèse tion tombe sous H(k valeur valide valuation H variable libre vertu Zermelo