For every natural number there exists another natural number which is greater than it.
A greatest natural number has no natural number greater than it.
Therefore, there exists no greatest natural number.
Use N(x) to denote “x is a natural number,”
G(x,y) to denote “x is greater than y,”
T(x) to denote “x is a greatest natural number.”