- 10

- 0

What exactly frees metamathematics of the same logical pitfalls as normal mathematics, though? In attempting to answer foundation problems, it still relies on the axioms present in proof and model theory to get anywhere, and thus is still particularly subject to the second incompleteness theorem, yes? Or have I misread things somewhere/ is my interpretation or impression of Godel's work misguided?

I'd appreciate any clarification. Thanks in advance.