« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions

Aller à la navigation Aller à la recherche
m
Robot : Changement de type cosmétique
(wikification)
m (Robot : Changement de type cosmétique)
}}
 
== 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.
 
143 371

modifications

Menu de navigation