deduction gentzen 's approach introducing idea symmetry grounds asserting propositions expressed introduction rules consequences accepting propositions elimination rules idea proved important proof theory gentzen introduced idea sequent calculus calculus advanced similar spirit better expressed duality logical connectives went make fundamental advances formalisation intuitionistic logic provide first combinatorial proof consistency peano arithmetic together presentation natural deduction
Humanities Philosophy Logic Mathematical logic Proof theory