递归不可达序数

递归不可达序数 $I$ 是一个大反射序数，定义为 $21-2$。

I 的 OCF

以下介绍 I 及多元 I 函数在 OCF 中的折叠规则。

1. ${\psi }_I(0)=\text{1st }(1-{)}^{1,0}2$
2. ${\psi }_I(\alpha +1)\ne {\psi }_I(\alpha )$ 则 ${\psi }_I(\alpha +1)=(1-{)}^{1,0}\text{ aft }{\psi }_I(\alpha )$

TO DO: I 的 OCF