Proof theory
Mathematical logic
Logic
Mathematics
Sequent calculus
Sequent
Mathematical proof
Cut-elimination theorem
Formal proof
Proof complexity
Theorem
Metamath