第三阶段:Gödelnumbering
现在,我们定义每一个数学符号都可以由唯一的数字表示,那么现在所有的基于现有集合论创造出的无限大基数都可以用一个有限的数字表示,而我们的数字þ(0)则是需要ω才能描述,而þ(1)则是需要2*ω才能描述。以此类推,¢需要阿列夫1才能描述。现在,我们构筑一个这种数字为(这种数字为(这种数字为……))(最后一层和循环的次数都是¢)无论如何都不能达到的数字,并将其构筑为一个区域化命题。现在,我们引出他的该数字,并构筑一个命题,是不存在数字为该数字的命题。这样,一个反身自指的命题被人创造了,将该数字拓展为比该命题的适用范围更大。接下来,我们将该数字ý近似定义为空集,并一步步将其扩张至ý,新得到的数字称其为ý(1并对该数字再次进行该运算ý次。以此类推,但无论堆叠迭代多少次,他都只是在无限小的点中发生的事,接下来,我们即将进入二维平面,这和之前的事简直就像跨越了叙事那么大差距。
现在,我们定义每一个数学符号都可以由唯一的数字表示,那么现在所有的基于现有集合论创造出的无限大基数都可以用一个有限的数字表示,而我们的数字þ(0)则是需要ω才能描述,而þ(1)则是需要2*ω才能描述。以此类推,¢需要阿列夫1才能描述。现在,我们构筑一个这种数字为(这种数字为(这种数字为……))(最后一层和循环的次数都是¢)无论如何都不能达到的数字,并将其构筑为一个区域化命题。现在,我们引出他的该数字,并构筑一个命题,是不存在数字为该数字的命题。这样,一个反身自指的命题被人创造了,将该数字拓展为比该命题的适用范围更大。接下来,我们将该数字ý近似定义为空集,并一步步将其扩张至ý,新得到的数字称其为ý(1并对该数字再次进行该运算ý次。以此类推,但无论堆叠迭代多少次,他都只是在无限小的点中发生的事,接下来,我们即将进入二维平面,这和之前的事简直就像跨越了叙事那么大差距。