TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Gödel's theorem says that in any consistent axiom system rich enough to generate the arithmetic of the natural numbers, there are statements we cannot prove within this system, but that can be seen to be true by other means.  3, fiche 1, Anglais, - G%C3%B6del%27s%20theorem

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Le théorème de Godel montre que, quel que soit le système d'axiomes adopté, il existera toujours des propositions non démontrables (...)  2, fiche 1, Français, - th%C3%A9or%C3%A8me%20de%20G%C3%B6del

Fiche 1,  Justifications,  Espagnol