Metamathematics investigates the structure and limitations of mathematical theories, with proof theory focusing on the nature of formal proofs and the principles that govern them. In the context of ...