1.我对于可数序数的某些认知。

关于φ（2，0）＝ζ0和φ（1，0）＝e0的一些想法。

刚开始接触到ζ_0的时候，看到他的定义，我寻思就这，就这么拉胯？现在回想起来仔细一想，居然觉得恐怖如斯。

w↑↑w＝e0，这是第一个可数序数不动点，一切w的运算都无法突破e0。

e0↑↑e0＝e1，这是第二个可数序数不动点，一切e0的运算都无法突破e1。

后面一切如此类推。

类推w次，是ew，是第w个可数序数不动点。

类推e0次，是e_e0，是第e0个可数序数不动点，也可以说成是第“第一个可数序数不动点”个不动点。

类推e_e0次，是e_e_e0，是第e_e0个可数序数不动点可以说成是“第“第一个可数序数不动点”个可数序数不动点”个可数序数不动点。

后续如此类推，可有e_e_e_e0、e_e_e_e_e0、……等等等等，这被叫做“e序数”。

ζ0是“可数序数不动点的不动点”，也就是e序数的不动点。

e0从最小、最简定义上来说，就是战力圈里的“指数塔级”，但e0远不止指数塔，毕竟指数塔仅仅只是w↑↑w，而e0作为不动点，无论是w↑↑w，还是w↑↑↑w、w↑↑↑↑w、……，亦或是w→w→w、w→w→w→w、……之类的，更甚至是嵌套各种大数函数（或者数阵），例如tree（w）、scg（w）、rayo（w）、bb（w）、……，它也还是e0，而非e1或者其他什么，不动点就是如此，无论w如何运算，它都稳稳当当的凌驾在w的头上，作为不可突破的e0存在。

而w↑↑w有多大？

w+1，w+2，w+3，w+4，……

2w，2w+1，2w+2，2w+3，……