Wikipédia en français - L'encyclopé...
Téléchargez ce dictionnaire
Théorème de complétude de Gödel
Le théorème de complétude du calcul des prédicats du premier ordre est un résultat fondamental en logique mathématique ; il a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique).

Pour la suite, voir Wikipédia.org…


© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.