把自然数集，也就是阿列夫零、w看成100%。

任意有限自然数所占比例都是0%。

即，我们从自然数集中任意选取一个自然数，任意有限数被选中的几率都是0%，即不可能。

定义sj函数，sj函数依托选择公理而存在，可以从自然数集中随机选取自然数。

将人类目前为止构造出来的最大有限大数用m代指。

将0到m之间的所有自然数组成一个集合。

该集合势为m，m集合相对自然数集来说，其组成元素在自然数集的组成元素中所占比例为0%，即两个集合的交集，相对自然数集来说，只相交了0%的元素。

使用sj函数对自然数集进行选取，因为m集合所占比例为自然数集的0%，因此m集合里的元素不可能被选取到。

而m集合涵盖了从0到m的所有自然数。

因此sj函数随机选取的自然数必定大于m。

我们将这个必定大于m的自然数写作m0。

同样的，0到m0的所有自然数组成的集合在自然数集里所占比例为0%。

我们可以进行同样操作，得到必然大于k0的自然数，我们写作m1，如此类推，必然存在m2，m3，m4，……

无限逼近自然数集，但在自然数集面前始终约等于0，始终所占比例为0%。

且因为我们的操作和sj函数的特殊性，因此任意能够被写、说、定义出来自然数，都是那不可能被选取的0%。

m0从根本上大于一切自然数！

m1从根本上大于k0！