« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Contenu supprimé Contenu ajouté
m Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Construction finitaire de l'ensemble des vérités vers Fondements des mathématiques/Construction finitaire de l'ensemble des vérités sans laisser de red... |
wikification |
||
Ligne 1 :
{{Chapitre
|niveau=11
| titre = Construction finitaire de l'ensemble des vérités
| idfaculté = mathématiques
| numéro = 8
| précédent = [[../Preuve naturelle de la cohérence de l'arithmétique formelle/]]
| suivant = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
}}
==La construction d’un ensemble de vérités==
Pour prouver formellement qu’une théorie T est cohérente, il suffit de lui trouver un modèle. Autrement dit, il suffit de définir un ensemble M de formules atomiques et de prouver que tous les axiomes de T sont vrais si M est pris comme modèle.
|