⬆️ Inductive proof

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