3 ms·
If you keep adding axioms, the system at some point flips from having undecidable statements to having demonstrably true statements that are mutually contradict
by Florin_Andrei 11y ago
If you keep adding axioms, the system at some point flips from having undecidable statements to having demonstrably true statements that are mutually contradictory. So you have a "choice" there.