It can then be proved that induction, given the above-listed axioms, implies the well-ordering principle. The following proof uses complete induction and the first and fourth axioms.
It can then be proved that induction given the above-listed axioms, implies the well-ordering principle. The following proof uses complete induction and the first and fourth axioms.