注意ψ_π返回小于π的序数（因此当π为Ω时，返回可数序数）。
这个OCF可能比较难懂。首先我们一开始的集合C里多了个β，也就是C^0包括所有比β小的序数与0。
我们想知道，从哪个β开始才有集合C去掉大于π的序数后是β的子集。
仔细考虑一下会发现，这个OCF注重于某种表达方式的上限，而不是最小的不在某个集合里的序数。
当你彻底看明白这个OCF后可以引入不可达序数。不可达序数是正则序数的不可数的弱极限正则序数，因此它大于一切可以通过Ω_α构造的序数。

在这里我仅仅是将第一个不可达序数I加到最开始的集里，这个函数的极限突然变得很大。
考虑ψ_Ι函数，I是不可达序数。先考虑ψ_Ι(0)的值，存在一个β使集C(0,β)在β到I之间没有任何序数。由于你可以进行Ω_α操作，它的上限是Omega fixed point，即最小的使α=Ω_α的序数。与此同时三则运算（加乘乘方）不会将小于Omega fixed point的序数通过某种操作大于它，因此ψ_Ι(0)是第一个Omega fixed point。
再考虑ψ_Ι(1)，由于C里包含ψ_Ι(0)，它是下一个Omega fixed point。
最后考虑ψ_Ι(Ι)，它是最小的满足α是第α个Omega fixed point的序数。

@五年高考💯 能加个精吗

@引路人-Ω @Behondº @aeroplane32 @一只搞笑的人♂ @ΩBeria 大召唤术
如果我哪里讲讲的不清楚或者讲错了，希望大家提出你们的建议

支持

等我上完高一就应该会好理解一些我现在是初三党……

顶

顶

顶👍🏻

然后呢？

我明白了，是不是我这个小学生太笨了

这定义里面，其实乘法和乘方都没有必要。

支持