  The earliest application of sequent calculus in mathematics was in  the proof theory of arithmetic, in Gentzen's thesis and in a decisive way in the 1938 proof of the consistency of arithmetic. Troelstra  mentions Ketonen's work as 