gilch comments on Donald Hobson’s Shortform

[gilch]

In what sense is a disconnected number line “after” the one with the zero on it?

[philip_b]

In the sense that every nonstandard natural number is greater than every standard natural number.