I’m not sure what you mean by this. “There is no need”? So is there a highest natural number, or not? Because if not:
If S(N) is the last statement, N is a natural number.
Therefore N + 1 is a natural number and N + 1 > N.
Therefore the statement S(N + 1) exists.
Therefore S(N) is not the last statement. Contradiction.
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.
I’m not sure what you mean by this. “There is no need”? So is there a highest natural number, or not? Because if not:
If S(N) is the last statement, N is a natural number.
Therefore N + 1 is a natural number and N + 1 > N.
Therefore the statement S(N + 1) exists.
Therefore S(N) is not the last statement. Contradiction.
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.