The consistency of a theory such as ZFC cannot be proved wi…

Twetch ·

The consistency of a theory such as ZFC cannot be proved within the theory itself, as shown by Gödel's second incompleteness theorem.