- #1

- 96

- 3

Now, suppose we take a number system N', which satisfies the Peano Axioms except the Axiom of Induction. Due to the Well-Ordering Theorem, we can find an order "<" in which N' has a least element. Can we show that the Axiom of Induction does not hold under this relation or at least make any progress on that? Thanks :)