摘要： 一点吐槽 序数分析（Ordinal Analysis）这一脉实际上是从证明论衍生出来的，因此去找文献通常会找到各种证明某一公理系统强度的文献，并没有系统的综述 踏入序数之后，几乎没有统一记号，需要在各人的记号中切换，加之数理逻辑本身就需要一堆新记号，可谓是乱七八糟，有一种踏入前沿的美（确实即使从Go 阅读全文