Les fondements logiques des mathématiques |
Contents
Influence séculaire de la théorie des sciences | 5 |
Application de la logique élémentaire | 7 |
Théories déductives contradictoires et noncon | 12 |
Copyright | |
10 other sections not shown
Other editions - View all
Common terms and phrases
application arithmétique atomes axiomatisations axiomes Brouwer c'est-à-dire Cantor Church classe conséquent constitue contient Dedekind définir définition par récurrence démontrer dérivation disjonction également éléments expressions neutres fonction formalisation forme prénexe fractions duales Fraenkel Frege Herbrand Heyting Hilbert identité logique introduit l'antinomie l'arithmétique l'axiome l'ensemble l'expression l'intuitionisme logic logique des énoncés logique élémentaire Mathematica mathématiques classiques mathématiques intuitionistes métama thématique modèle neutres du genre nombre de Gödel nombre naturel nombre ordinal nombre réel nombres entiers non-contradiction notion Peano philosophie pourrons principes problème propriété quantificateurs quelconque raisonnement raisonnement par récurrence résultat Russell satisfasse sera Skolem sous-ensemble suffit suite de choix Supposons syntaxe système de postulats système des nombres système logique Taraki Tarski théorème de déduction théorème de Gödel 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