Home UK English proof-theoretically
With regard to proof theory; by means of proof theory.
1950s; earliest use found in Stephen Kleene (b. 1909).
READ THESE ARTICLES