“核心公理”本身就是旧范式的语言。

“核心公理”本身就是旧范式的语言。  它隐含了集合论式的静态结构、逻辑封闭性、以及“从少数公理推导全部世界”的 20 世纪数学观