I’m still not clear on why we need the second-to-last axiom (“Zero is the only number which is not the successor of any number.”)
I guess it is not necessary. It was just an illustration of a “quick fix”, which was later shown to be insufficient.
I guess it is not necessary. It was just an illustration of a “quick fix”, which was later shown to be insufficient.