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%27s%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