Definition of proof theory in English:

proof theory

noun

Mathematics
  • The branch of mathematics concerned with the syntactic (as opposed to semantic) properties of formulae and proofs in formal systems.

Origin

1920s.