[1XD]Prerequisites:[1XD].Removing one of the axioms (N1)β(N5), describe a set that satisfies the others but it is not isomorphic to natural numbers.
[22V]βΊβ»