Proof theory
Mathematical logic
Mathematics
Logic
Sequent
Gerhard Gentzen
Cut-elimination theorem
Thoralf Skolem