Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Théorème de complétude

Le théorème de complétude du calcul des prédicats du premier ordre a été établi par Kurt Gödel. Ce théorème établit l'équivalence entre « formule démontrable » et « formule vraie (dans tout modèle) »

Voir aussi

• théorème d'incomplétude de Gödel