If you look closely, I didn't assume natural numbers, I stopped at Peano axioms. Stopping at set theory would have been reasonable but it would have added a lin

If you look closely, I didn't assume natural numbers, I stopped at Peano axioms. Stopping at set theory would have been reasonable but it would have added a line at the end about sets that wasn't describing numbers per se.