稳定序数：修订间差异

2025年7月6日 (日) 16:13的版本

$L_{α}$ 是 $L_{β}$ 的 $Σ_{n}$ 初等子结构，如果任取 $Σ_{n}$ 公式 $φ$ 均有单射j满足 $L_{α}$ |= $φ$ ( $x_{1}$ , $x_{2}$ ,…)等价于 $L_{β}$ |= $φ$ (j( $x_{1}$ ),j( $x_{2}$ ),…)，也称其为 $L_{α}$ $Σ_{n}$ 稳定到 $L_{β}$

除此外，我们还有 $L_{α}$ 是 $L_{β}$ - $Π_{n}$ 反射用于表达一些精细的层级，其中 $L_{α}$ $Σ_{1}$ 稳定到 $L_{β}$
(如未特别说明，下文的稳定到均为 $Σ_{1}$ 稳定到) 函数式定义:
$L_{α}$ 是 $L_{f (α)}$ - $Π_{n}$ 反射 onto X，如果任取 $Π_{n}$ 公式 $φ$ 及参数 $γ \in L_{α}$ 和 $γ^{'} \in L_{α^{'}}$ 有 $L_{f (α)} | = φ (α, γ) \to L_{f (α^{'})} | = φ (α^{'}, γ^{'})$ ,对于 $α^{'} \in α \cap X$

序数式定义:
$L_{α}$ 是 $L_{β}$ - $Π_{n}$ 反射 onto X，如果任取 $Π_{n}$ 公式，参数 $γ \in α$ 和 $γ^{'} \in α^{'}$ 有 $L_{β} | = φ (α, γ) \to L_{β^{'}} | = φ (α^{'}, γ^{'})$ ，对于 $β^{'} \in α$ 和 $α^{'} \in α \cap X$

关于函数式定义，由于 $ω$ -ply的顶点下成员都是 $ω$ -ply，这会到达f和 $α$ 的某种不动点，以至于无法继续行进
稳定序数有如下路径:
$L_{α}$ 稳定到 $L_{α + 1}$ ，则任取 $n \in ω$ 有 $α \in Π_{n}$ 反射序数

$β$ 是前 $n \in ω$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是 $Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的最小成员

$β$ 是前 $n \in ω^{2}$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是 $Π_{1}$ onto $Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的最小成员

$β$ 是前 $n \in β$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是 $Π_{1}$ $o n t o^{(1, 0)}$ { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的最小成员

$β \in Π_{2}$ 反射是前 $n \in β$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是 $Π_{2} \cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β$ 是前 $n \in ω$ 个 $α$ 满足 $Π_{2} \cap Π_{1}$ onto { $L_{α}$ 稳定到 $L_{α + 1}$ }的上界，则 $β$ 是 $Π_{1}$ onto $Π_{2} \cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β \in Π_{2}$ 是前 $n \in β$ 个 $α$ 满足 $Π_{2} \cap Π_{1}$ onto { $L_{α}$ 稳定到 $L_{α + 1}$ }的上界，则 $β$ 是 $Π_{2} \cap (Π_{1}$ onto $Π_{2} \cap (Π_{1}$ { $α : L_{α}$ 稳定到 $L_{α + 1}$ }))的最小成员

$β$ 是前 $n \in β$ 个 $α$ 满足{n:( $Π_{2} \cap Π_{1}$ $o n t o)^{n}$ { $L_{α}$ 稳定到 $L_{α + 1}$ }}的上界，则 $β$ 是( $Π_{2} \cap Π_{1}$ $o n t o)^{(1, 0)}$ { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的最小成员

$β \in Π_{2}$ onto $Π_{2}$ 是前 $n \in β$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是( $Π_{2}$ onto $Π_{2}$ ) $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β \in Π_{3}$ 是前 $n \in β$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是 $Π_{3} \cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$L_{β}$ 稳定到 $L_{β + 1}$ 是前 $n \in β$ 个 $α$ 满足 $L_{α}$ 稳定到 $L_{α + 1}$ 的上界，则 $β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员并且 $β \in Π_{n}$ 反射

$β$ 是前 $n \in ω$ 个 $α$ 满足{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的上界，则 $β$ 是 $Π_{1}$ onto ({ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }))的最小成员

$β \in Π_{2}$ 是前 $n \in β$ 个 $α$ 满足{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的上界，则 $β$ 是 $Π_{2} \cap (Π_{1}$ onto { $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }))的最小成员

$L_{β}$ 稳定到 $L_{β + 1}$ 是前 $n \in β$ 个 $α$ 满足{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的上界，则 $β$ 是{ $γ : L_{γ}$ 稳定到 $L_{γ + 1}$ } $\cap$ ( $Π_{1}$ onto { $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }))的最小成员

$β$ 是前 $n \in β$ 个 $α$ 满足{n:({ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap Π_{1}$ $o n t o)^{n}$ )}的上界，则 $β$ 是({ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap Π_{1}$ $o n t o)^{(1, 0)}$ 的最小成员

$β$ 是 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的最小成员

$β$ 是前 $n \in β$ 个 $α$ 满足 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的上界，则 $β$ 是 $Π_{1}$ $o n t o^{(1, 0)}$ ( $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β \in Π_{2}$ 是前 $n \in β$ 个 $α$ 满足 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的上界，则 $β$ 是 $Π_{2} \cap$ ( $Π_{1}$ onto $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$L_{β}$ 稳定到 $L_{β + 1}$ 是前 $n \in β$ 个 $α$ 满足 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的上界，则 $β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap$ ( $Π_{1}$ onto $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β \in Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }是前 $n \in β$ 个 $α$ 满足 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的上界，则 $β$ 是 $Π_{2}$ onto { $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap$ ( $Π_{1}$ onto $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β$ 是前 $n \in β$ 个 $α$ 满足{x:( $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ } $\cap Π_{1}$ $o n t o)^{x}$ }的上界，则 $β$ 是( $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ } $\cap Π_{1}$ $o n t o)^{(1, 0)}$ 的最小成员

$β$ 是 $Π_{2}$ onto $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β \in Π_{3}$ 是 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的，则 $β$ 是 $Π_{3} \cap (Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$L_{β}$ 稳定到 $L_{β + 1}$ 是 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ }的，则 $β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $\cap$ ( $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β$ 是 $Π_{3}$ onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ })的最小成员

$L_{β}$ 稳定到 $L_{β + 1}$ ，且 $L_{β}$ 是 $L_{β + 1}$ - $Π_{2}$ 反射

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射}的最小成员

$β$ 是({ $β : L_{β}$ 稳定到 $L_{β + 1}$ } $o n t o)^{(1, 0)}$ { $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射}的最小成员

$β \in$ { $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射}是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射}的，则 $β$ 是{ $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射} $\cap$ ({ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $γ : L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{γ}$ 是 $L_{γ + 1}$ - $Π_{2}$ 反射})的最小成员

$β$ 是{ $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射} onto { $β : L_{β}$ 稳定到 $L_{β + 1}$ ，且 $L_{β}$ 是 $L_{β + 1}$ - $Π_{2}$ 反射}的最小成员

$β$ 是({ $α : L_{α}$ 稳定到 $L_{α + 1}$ ，且 $L_{α}$ 是 $L_{α + 1}$ - $Π_{2}$ 反射} $o n t o)^{(1, 0)}$ 的最小成员

$L_{β}$ 稳定到 $L_{β + 1}$ ，且 $L_{β}$ 是 $L_{β + 1}$ - $Π_{3}$ 反射

$L_{β}$ 稳定到 $L_{β + 2}$ ，则 $β$ 满足对 $n \in ω$ 均有 $L_{β}$ 是 $L_{β + 1}$ - $Π_{n}$ 反射

$β$ 是 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ }的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 2}$ } $\cap (Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ })的最小成员

$β$ 是 $Π_{3}$ onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ }的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ }的最小成员

$β$ 是{ $γ : L_{γ}$ 稳定到 $L_{γ + 2}$ } $\cap$ ({ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ })的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ 且 $L_{β}$ 是 $L_{β + 1}$ - $Π_{2}$ 反射} onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ }的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 2}$ } onto { $α : L_{α}$ 稳定到 $L_{α + 2}$ }的最小成员

$L_{β}$ 稳定到 $L_{β + 2}$ ，且 $L_{β}$ 是 $L_{β + 2}$ - $Π_{2}$ 反射

$L_{β}$ 稳定到 $L_{β + 3}$ ，则对 $n \in ω$ 有 $L_{β}$ 是 $L_{β + 2}$ - $P i_{n}$ 反射

$L_{β}$ 稳定到 $L_{β + ω}$

$L_{β}$ 稳定到 $L_{β * 2}$

$L_{β}$ 稳定到 $L_{β + α + 1}$ ，其中 $α$ 是最小的 $L_{α}$ 稳定到 $L_{α * 2}$

$β$ 是第二个满足 $L_{β}$ 稳定到 $L_{β * 2}$ 的序数

$β$ 是 $Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员

$β$ 是 $Π_{2}$ $\cap (Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ })的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + γ}$ } $\cap Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员，其中 $γ$ 是满足 $L_{γ}$ 稳定到 $L_{γ * 2}$ 的最小序数

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + γ}$ } $\cap Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员，其中 $γ$ 是上一条中的 $β$

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β * 2}$ } $\cap Π_{1}$ onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员

$β$ 是 $Π_{2}$ onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + 1}$ } onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β + γ}$ } onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员，其中 $γ$ 是最小的 $L_{γ}$ 是 $L_{γ * 2}$

$β$ 是{ $β : L_{β}$ 稳定到 $L_{β * 2}$ } onto { $α : L_{α}$ 稳定到 $L_{α * 2}$ }的最小成员

$L_{β}$ 是 $L_{β * 2}$ - $Π_{2}$ 反射

$L_{β}$ 稳定到 $L_{β * 2 + 1}$

$L_{β}$ 稳定到 $L_{β^{2}}$

$L_{β}$ 稳定到 $L_{Ω_{β + 1}}$

$L_{β}$ 稳定到 $L_{γ}$ ，且 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，则 $L_{γ}$ 是首个大于 $β$ 序数满足 $L_{γ}$ 稳定到 $L_{γ + 1}$

$L_{β}$ 稳定到 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{β}$ 是 $L_{γ + 1}$ - $Π_{2}$ 反射

$L_{β}$ 稳定到 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{β}$ 稳定到 $L_{γ + 2}$

$L_{β}$ 稳定到 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{β}$ 稳定到 $L_{γ + ω}$

$L_{β}$ 稳定到 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{β}$ 稳定到 $L_{γ * 2}$

$L_{β}$ 稳定到 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{β}$ 稳定到 $L_{Ω_{γ + 1}}$

$L_{β}$ 稳定到 $L_{γ}$ 稳定到 $L_{γ + 1}$ ，且 $L_{β}$ 稳定到 $L_{α}$ 稳定到 $L_{α + 1}$ ，对 $γ \in α$

@@ 第70行： / 第70行： @@
 <math>\beta</math>是({<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>} <math>onto)^{(1,0)}</math>{<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}的最小成员<br><br>
-<math>\beta\in</math>{<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>}  onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}的，则<math>\beta</math>是{<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}\cap({<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>} onto {<math>\gamma:L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\gamma}</math>是<math>L_{\gamma+1}</math>-<math>\Pi_{2}</math>反射})的最小成员<br><br>
+<math>\beta\in</math>{<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>}  onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}的，则<math>\beta</math>是{<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射}<math>\cap</math>({<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>} onto {<math>\gamma:L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\gamma}</math>是<math>L_{\gamma+1}</math>-<math>\Pi_{2}</math>反射})的最小成员<br><br>
 <math>\beta</math>是{<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，且<math>L_{\alpha}</math>是<math>L_{\alpha+1}</math>-<math>\Pi_{2}</math>反射} onto {<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>，且<math>L_{\beta}</math>是<math>L_{\beta+1}</math>-<math>\Pi_{2}</math>反射}的最小成员<br><br>
@@ 第78行： / 第78行： @@
 <math>L_{\beta}</math>稳定到<math>L_{\beta+1}</math>，且<math>L_{\beta}</math>是<math>L_{\beta+1}</math>-<math>\Pi_{3}</math>反射<br><br>
-<math>L_{\beta}</math>稳定到<math>L_{\beta+2}</math>，则<math>\beta</math>满足对<math>n\in\omega</math>均有<math>L_{\beta}</math>是<math>L_{\beta+1}</math>-<math>\Pi_{n}</math>反射
+<math>L_{\beta}</math>稳定到<math>L_{\beta+2}</math>，则<math>\beta</math>满足对<math>n\in\omega</math>均有<math>L_{\beta}</math>是<math>L_{\beta+1}</math>-<math>\Pi_{n}</math>反射<br><br>
+<math>\beta</math>是<math>\Pi_{2}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>}的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+2}</math>}<math>\cap(\Pi_{2}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>})的最小成员<br><br>
+<math>\beta</math>是<math>\Pi_{3}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>}的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>}的最小成员<br><br>
+<math>\beta</math>是{<math>\gamma:L_{\gamma}</math>稳定到<math>L_{\gamma+2}</math>}<math>\cap</math>({<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>})的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>且<math>L_{\beta}</math>是<math>L_{\beta+1}</math>-<math>\Pi_{2}</math>反射} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>}的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+2}</math>} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha+2}</math>}的最小成员<br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta+2}</math>，且<math>L_{\beta}</math>是<math>L_{\beta+2}</math>-<math>\Pi_{2}</math>反射<br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta+3}</math>，则对<math>n\in\omega</math>有<math>L_{\beta}</math>是<math>L_{\beta+2}</math>-<math>Pi_{n}</math>反射<br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta+\omega}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta*2}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta+\alpha+1}</math>，其中<math>\alpha</math>是最小的<math>L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math><br><br>
+<math>\beta</math>是第二个满足<math>L_{\beta}</math>稳定到<math>L_{\beta*2}</math>的序数<br><br>
+<math>\beta</math>是<math>\Pi_{1}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员<br><br>
+<math>\beta</math>是<math>\Pi_{2}</math><math>\cap(\Pi_{1}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>})的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+\gamma}</math>}<math>\cap\Pi_{1}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员，其中<math>\gamma</math>是满足<math>L_{\gamma}</math>稳定到<math>L_{\gamma*2}</math>的最小序数<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+\gamma}</math>}<math>\cap\Pi_{1}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员，其中<math>\gamma</math>是上一条中的<math>\beta</math><br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta*2}</math>}<math>\cap\Pi_{1}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员<br><br>
+<math>\beta</math>是<math>\Pi_{2}</math> onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+1}</math>} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员<br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta+\gamma}</math>} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员，其中<math>\gamma</math>是最小的<math>L_{\gamma}</math>是<math>L_{\gamma*2}</math><br><br>
+<math>\beta</math>是{<math>\beta:L_{\beta}</math>稳定到<math>L_{\beta*2}</math>} onto {<math>\alpha:L_{\alpha}</math>稳定到<math>L_{\alpha*2}</math>}的最小成员<br><br>
+<math>L_{\beta}</math>是<math>L_{\beta*2}</math>-<math>\Pi_{2}</math>反射<br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta*2+1}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\beta^{2}}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\Omega_{\beta+1}}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>，且<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，则<math>L_{\gamma}</math>是首个大于<math>\beta</math>序数满足<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\beta}</math>是<math>L_{\gamma+1}</math>-<math>\Pi_{2}</math>反射<br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\beta}</math>稳定到<math>L_{\gamma+2}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\beta}</math>稳定到<math>L_{\gamma+\omega}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\beta}</math>稳定到<math>L_{\gamma*2}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\beta}</math>稳定到<math>L_{\Omega_{\gamma+1}}</math><br><br>
+<math>L_{\beta}</math>稳定到<math>L_{\gamma}</math>稳定到<math>L_{\gamma+1}</math>，且<math>L_{\beta}</math>稳定到<math>L_{\alpha}</math>稳定到<math>L_{\alpha+1}</math>，对<math>\gamma\in\alpha</math><br><br>