摘要： 前言 接下来的稳定序数是真正的空白地带，其行为多种多样，层级复杂嵌套，并且还没有被完全解析 \(\Sigma_1\)稳定 定义 定义： 若\(L_\alpha\prec_{\Sigma_1}L_\beta\)，则称\(\alpha\)是\(\Sigma_1\)稳定(stable)序数，\(\alph 阅读全文