« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-(\n)A +\1À ) |
m Robot : Remplacement de texte automatisé (-[“”] *([^“”]*) *[“”] +« \1 ») |
||
Ligne 10 :
L’axiome supplémentaire de Finitaire2 permet de définir des fonctions qui incluent une ou plusieurs inductions infinies dans leur définition. Cela permet de construire des ensembles par des inductions infinies sur des constructions par induction infinie. C’est exactement ce dont nous aurons besoin pour définir un modèle de Finitaire1.
Parmi les 27 prédicats fondamentaux de Finitaire1, tous sauf quatre,
Les vérités atomiques formulées avec
Les égalités entre expressions formelles, qu’elle soient nommées directement ou par l’intermédiaire d’une fonction numérique, sont également toutes énumérables.
|