TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

Kurt Gödel has shown that within any logical system are theories that can neither be proved nor disproved. In other words, certain functions must be performed outside the system. For one system to be able to prove these theories, it must be logically inconsistent.  2, fiche 1, Anglais, - G%C3%B6del%26rsquo%3Bs%20incompleteness%20theorem

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

incomplétude : caractère d'un système hypothético-déductif qui contient des propositions indécidables.  2, fiche 1, Français, - th%C3%A9orie%20de%20l%27incompl%C3%A9tude

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, 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 2, Anglais, - G%C3%B6del%27s%20theorem

Fiche 2,  Justifications,  Français

Record number: 2, 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 2, Français, - th%C3%A9or%C3%A8me%20de%20G%C3%B6del

Fiche 2,  Justifications,  Espagnol