If you imagine N with a successor function of: s(n) = the next power of 2 larger than n, then we satisfy (1) and (2) but not (3) or (4). Unfortunately, (5) also doesn't seem to hold in this setting. (As pointed-out in the comments)
JimN
- 265
- 1
- 13