What is another word for proof theory?
Pronunciation: [pɹˈuːf θˈi͡əɹi] (IPA) 
Proof theory is a branch of mathematical logic that deals with the nature of mathematical proofs. It encompasses the study of formal systems, deductive reasoning and proof-theoretic semantics. Synonyms for proof theory include proof analysis, proof-theoretic studies, proof calculus, and proof theory semantics. Proof analysis is the investigation of the relationships between different proofs and their properties. Proof-theoretic studies refer to the general study of mathematical proofs and their underlying principles. Proof calculus is the computational aspect of proof theory, while proof theory semantics is the branch that deals with the meaning and interpretation of proofs and their symbols.
