AbstractsMathematics

My purpose in this thesis is to show the merits of the approach of G. Gentzen to the accepted predicate and propositional calculus of logicians today. It will be proved that his formalization is equivalent to the so-called classical approach. The advantages of his system are that his formalization is closer to natural reasoning and that it affords a proof that indirect proofs may be eliminated in the predicate calculus.