查看“︁递归不可达序数”︁的源代码

递归不可达序数 <math>I</math> 是一个大[[反射序数]]，定义为 <math>2~1-2</math>。

=== I 的 OCF ===
以下介绍 I 及多元 I 函数在 [[序数坍缩函数|OCF]] 中的折叠规则。

# <math>\psi_I(0)=\text{1st }(1-)^{1,0}~2 </math>
# <math>\psi_I(\alpha+1)\neq\psi_I(\alpha)</math> 则 <math>\psi_I(\alpha+1)=(1-)^{1,0}\text{ aft }\psi_I(\alpha)</math>

''TO DO: I 的 OCF''