3 ms·
What's been shown is that, where the number is n, the fact that it equals n cannot be proved in ZFC. Of course it can be proved in a theory with more axioms. I
by jimhefferon 5y ago
What's been shown is that, where the number is n, the fact that it equals n cannot be proved in ZFC.
Of course it can be proved in a theory with more axioms. In particular, take ZFC and add the statement as an axiom.