形式、逻辑与不完备性
以系统论梳理数学从数量测量、希腊证明、符号代数和微积分，到抽象结构、形式自反、复杂系统、网络与人工智能的九阶段演化。
诊断对象不是"数学史本身"，是"克莱因讲述的数学史"。所以第一步必须把讲述者的立场、判据与自报的盲点摆上台面——否则后面所有判词都会把作者的偏见当成史实。