3 ms·
The incompleteness result does not even mention "true" and "false". It says that "there are statements of the language of F which can neither be proved nor disp
by theaeolist 8y ago
The incompleteness result does not even mention "true" and "false". It says that "there are statements of the language of F which can neither be proved nor disproved in F." Whether those statements are true/false is left unsaid.