MGS’21 – Proof Theory – Lecture 1