Maths›03. Logic and Foundations3.5 Cut EliminationThe cut rule, its elimination, and consequences for consistency and normalization.