EntityQ376166· pop 11· linked from 40 articlescut-eliminationSign in to savetheoremConnectionssequent calculusEntityproof theoryEntitynormal formEntityInternational Standard Book NumberEntitydigital object identifierEntityOCLC, Inc.EntityPrologEntitylogical contradictionEntitylemmaEntitytautologyEntityprinciple of excluded middleEntityMathWorldEntityfirst-order logicEntityPeano axiomsEntityQ22908627EntityStephen Cole KleeneEntityconsistencyEntityclassical logicEntityHaskell CurryEntityGerhard GentzenEntityCategoriesProof theoryTheorems in the foundations of mathematics