Definition of proof-theoretically in English:

proof-theoretically

adverb

Mathematics
  • With regard to proof theory; by means of proof theory.

Origin

1950s; earliest use found in Stephen Kleene (b. 1909).