摘要： 基于OCF，我们迈入序数与基数之路，登神长阶 我们进入不可计算的领域，需要的则是底层的集合论与数理逻辑 学术界对于序数分析(Ordinal Analysis)的研究起源于证明论序数(Proof Theory Ordinal)，由此诞生的则是前沿的目标大饼，离我们最近的也许是\(PTO(Z_2)\)， 阅读全文