Definition of proof-theoretic in English:

proof-theoretic

adjective

Mathematics
  • Of, relating to, or involving proof theory.

Origin

1940s; earliest use found in Bulletin Symbolic Logic.