Previous: Axioms, Up: Sequence Logic [Contents]

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