So is there a highest natural number, or not?
If there is no infinity (the premise) then there must be.
If there is no infinity there must not be a highest natural number, but there could be if there is infinity?
s/not //
Edit: That looks bad. Let’s see.
s/.ot /
That works.
If there is no infinity (the premise) then there must be.
If there is no infinity there must not be a highest natural number, but there could be if there is infinity?
s/not //
Edit: That looks bad. Let’s see.
s/.ot /
That works.