« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
Modèle de Finitaire1 |
m →La construction d’un modèle de Finitaire1 : coquille |
||
Ligne 1 :
==La construction d’un modèle de Finitaire1==
Pour prouver que Finitaire1 est cohérente il suffit de lui trouver un modèle. La construction de l’ensemble des formules atomiques est la partie un peu difficile de la preuve. Dès que cet ensemble est défini, la preuve que tous les axiomes de Finitaire1 sont vrais pour ce modèle est aussi triviale que la preuve formelle de la vérité des axiomes de
Nous verrons que pour construire un modèle de Finitaire1 convenable pour formaliser la preuve de cohérence, il faut élargir son ontologie. Un seul axiome d’existence supplémentaire suffit.
|