Previous: Axioms, Up: Sequence Logic


7.2 Induction

Mathematical induction requires a base case, and an inductive step. In Aris, this is used in conjunction (ha see cn) with seqlog. For seqlog, the induction scheme is: