Proof Theory studies various formal systems of logic and mathematics, examining the nature of proofs, which are sequences of statements leading to a conclusion based on axioms and inference rules. It aims to understand the ways in which mathematical statements can be proven true or false, providing tools for verifying the correctness of these proofs. Proof Theory is essential for fields such as computer science, especially in programming language design and automated theorem proving, where logical correctness is critical.