Les fondements logiques des mathématiques |
Contents
La théorie des sciences dAristote comme point de départ de la théorie de | 4 |
Les définitions par abstraction | 10 |
Introduction | 15 |
Copyright | |
46 other sections not shown
Common terms and phrases
antinomies Application arithmétisée atomes axiomatisation axiomes BETH Brouwer C₁ Cantor choix engendrant Church classe consiste constitue construction contient correspondance biunivoque Dedekind définir démontrer dérivation deuxième ordre également éléments ensembles bien ordonnés F₁ finitiste fonction Fraenkel Frege Heyting Hilbert identité logique l'activité mathématique l'arithmétique l'énoncé l'ensemble l'expression logicisme logique de deuxième logique des énoncés logique élémentaire logique intuitioniste mathématiques classiques mathématiques intuitionistes métamathématique méthode sémantique modèle naturel montrer nombre de Gödel nombre naturel nombre ordinal nombres entiers nombres réels non-contradiction notation notion paramètres petit nombre naturel philosophie postulats pouvons prédicat problème de décision propriété quantificateurs quelconque Quine raisonnement par récurrence relation résultat satisfait sera Skolem sous-ensemble structure suffit suite de choix Supposons symboles système formel système logique Tarski théorème de déduction théorie déductive théorie des ensembles théorie des nombres théorie des types théorie formalisée thèse tion TS(U valide valuation variable libre x₁ Zermelo