递归不可达序数：修订间差异

2025年8月23日 (六) 09:07的版本

$(1) ψ_{I} (0) = 1 s t (1 -)^{1, 0} 2$

$(2) ψ_{I} (a + 1) \neq ψ_{I} (a)$ 则 $ψ_{I} (a + 1) = (1 -)^{1, 0} a f t ψ_{I} (a)$

@@ 第2行： / 第2行： @@
 (1-)^{1,0} 2 </math>
-<math>(2)\psi_I(a+1)\neq\psi_I(a)
+<math>(2)\psi_I(a+1)\neq\psi_I(a)</math>则<math>\psi_I(a+1)=(1-)^{1,0}aft\psi_I(a)</math>
-\psi_I(a+1)=(1-)^{1,0}
-aft\psi_I(a)</math>