Home UK English proof-theoretic

Meaning 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.