elim 的数学知识多,但是也有做不出的题,例如他写不出最大的有限大自然数;这很正常,无论任何人包括我都写不出,这应该是只有一个原因,最大的有限大自然数是不存在的,根据皮亚诺公理之二可知,有 n 就必有 n +1,……,n +n ,,…… ;这也说明了有限大自然数 n 的后续函数 f (n) = n+1,以及 f (n+1),f (n+2),……,是无限的,是可以产生无限大自然数的,尤其是最大的无限大自然数也是不存在的。
在全体自然数集合 N = {1, 2,…} 中,最小的有限大自然数是 1 ,最小的无限大自然数是 ……111.0= f(0.111……)。