如果了解这个游戏的技巧，会发现它的G?(A)策略可以通过一个τ函数表示，这个函数被定义为X^＜ω到X，对任意有穷前段partial的给定是s∈X^＜ω。要是根据这个函数指示，玩家就可以知道下一步走的是τ(s)。
他想，方法是这样的，首先给定一个策略τ。把一个y序列定义为{Yn}n＜N≤ω∈X^＜ω。将τ*y＝x的递归定义到x?n＝τ(x|2n)，x?n?1＝yn；这样，当玩家2走出y序列的时候，玩家1即可走τ策略对应所走成的中盘。而当且仅当y∈X^ω，τ*y∈A时，无论玩家2如何走，玩家1总能按照τ对应的策略赢的该盘。
类似的，如果递归定义为x?n＝yn，x?n??＝τ(x|2n+1)时，玩家1走出y序列，玩家2即可走τ策略对应所走成的中盘，τ就成为了玩家2的G?(A)赢策略了。
……
很聪明，但要实际在棋盘上要完成这个步骤需要的时间又是多少？这不是一个实数集的问题吗？
——《花园神只》
康托尔定理
1．基数：基数是描述集合大小概念的量，集合元素间能够一一对应的集合便是对等集合，比如4个人和4只猫；5只马和5条狗，他们的基数是相同。自然基数是无穷多个，个数为N0(w0）也就是阿列夫0，是数学中最小的无限。（因此，我们也可以得知其实无限并不是数，而是指的所有自然数的集合。)
2．序数、序形：不可达性是无限的基本性质，虽然可以被更小的超限数持有，但并不意味着任意两种无限的势是相同的；比如，实数的无限就要＞自然数的无限。以康托尔对角线证明可知（小说中有详细的证明过程），哪怕是0到1间的实数（这里只是单取无理数），全体自然数也远远无法和其一一对应。
而在康托尔集合中， lim n →∞(2/3) An 的极限是0，它的个数却可以和实数个数相同，集合为 Cn -1/3 U (2/3+ Cn -1/3)。（该结论可用十进制转化三进制再转化为二进制进行证明）同样的事情也出现在类似偶数和奇数或者偶数个数本身（没有任何变化）。这种违反直觉的结果表示，这前者和后者的数量是相同的。
于是问题出现了，在我们意识到80之后，自然数的基数也就没有了，没有基数的对应，我们就无法做之后的研究。为了继续延续w0之后的数而得到更大的基数，我们可以以w0+1、w0+2..．等等的形式表示，这些数被称为序数，它们的排列结构被称为序形（一般是为良性序形）。
值得注意的是，这并不意味着w0+2＞w0+1，序数无关大小，仅仅是排列如此。哪怕序数是w0w0，它依然不能说是＞w0+1的。
3．阿列夫序列、不可达基数：根据序数的出现，我们便可以去试图构造新的非自然基数，这些被构造的大基数是无法被实例化的，因此它们的对象不可能被现实的物理宇宙物质所持有，我们的数概念也更像是这些基数的映射。良性序形是一个构造更大基数构造过程回看小说），目的是为了解决w0w0w0w0.．这种无限制的构造问题。N1便是在我们构造无数次良性序列后宣称的最终结果，此外，整个阿列夫序列都满足以上步骤，且根据1、2点可知，它的不可达性必定被更小数持有（及正则超限基数序列中的更小数）。
这样无限的叠加最终的结论便是得到一个不可达基数0，一个更大的基数，也是我们目的想要得到的最小的大基数。也就是所谓的强弱不可达基数。
以上，如图一，在类似无限的步骤重复后，现代数学的无限结构便清晰可见。这种无限可能就是康托尔宣称的绝对无限，康托尔相信，这也就是绝对意义上的神或者上帝。这种无限庞大到可怕，甚至连公理和矛盾也包涵其中（详见图一）。而小说中，根据最终公式推理出的"花园"的概念便是基于在这个结构的基础上，宣称的一种绝对无限（乃至之卜）象征的超凡理念。
问题在于，根据康托尔定律，我们依然可以构造哦集合S的冥集，在一般情况下，无论这个大基数有多“大”，根据冥集公理，集合的所有子集构成的类事集合的冥集。P（X）永远都会大于X。
可现在，如果我们这样干的话，就会得到了一个矛盾了。因为你会发现，按照先前的定义，S也必须包含P（S)。
在数学上，这是一种“未完成”活着叫做“未构造”的结构，因为作为一切可能的基数中最大的。它所有的子类都是它的分子，子类的数目不会比分子的数目大。按照该思路，绝对无限（康托尔版本）便是可以包涵自己的冥集。也就是说P（Ω）依然是Ω的元素。
那么，再按照这种思路去理解『花园』就会非常清晰了。『花园』是无穷的、不可完成其冥集构造的绝对浩瀚。
本小章还未完，请点击下一页继续阅读后面精彩内容！