The Peano axioms' induction scheme, though second-order, can be recast as universally quantified equ...
This proposition has not been edited since the history system was added.