这个问题应该说得更精确一点.
1a）没有最大的自然数.
1b）没有最大有理数.
1c）没有最大的实数.
这三条都是对的（当然也可以有更多条目）.由于自然数集包含于有理数集,有理数集又包含于实数集,我们只要说明1a),1b）和1c）也得到说明.
当然,形式上,不那么较真的话,可以这样证明：
反设有最大的然数N,则N+1也是自然数,但N+1 > N,矛盾!
严格地说,上面的证明依赖于自然数的公理化定义（即皮亚诺公理体系）,以及在自然数集上序关系的定义.这里就不多说了,想知道的话再在网上搜,可以查到.