⬆️ Inductive proof §

= a ✅ Proof (logic), which starts at axioms and extends them stepwise by using inference rules of a given calculus (?)