Comment on Theories on Theories
yetAnotherUser@discuss.tchncs.de 2 weeks agoWorse: If the chosen axioms are contradictory, then the theorem is effectively worthless.
And it is impossible to know whether axioms are consistent. You can only prove that they are not.
ytg@sopuli.xyz 2 weeks ago
You can go deeper. To prove anything, including the consistency or inconsistency of a theory, you need to work within a different system of axioms, and assume that it is consistent, etc.