摘要： 上一章中我们定义的序数到\(LVO\)就打止了，原则上我们可以用迭代继续往上，但是会显得很丑，所以我们引入不可达基数与序数坍缩函数(Ordinal Collapsing Function)来定义更大的基数 OCF 还没学明白，可能有锅 引入 我们之前有提到过，通过\((0,1),(+,×)\)所定义 阅读全文