Proof theory is the study of formal proofs and their properties. It involves the study of the structure of proofs, the relations between proofs, and the properties of the rules of inference used in the proofs.
Proof theory is the study of formal proofs and their properties. It involves the study of the structure of proofs, the relations between proofs, and the properties of the rules of inference used in the proofs.