#数理逻辑

种子公式全录（下）：ZFC 九条公理与 Wiedijk 百定理全枚举——数学的 DNA 与考卷

数学压缩到极限是多少条公式？答案被实测过：9 条 ZFC 公理，经过 12,151 条中间定理，撑起学界公认的 100 条名定理。本篇把两层全部枚举：ZFC 九条公理逐条给出严格的一阶逻辑写法（含公理模式、弱形式等所有记号细节），Wiedijk"形式化 100 定理"清单逐条给出精确陈述。100 条中 99 条已被计算机验证，唯一悬着的是费马大定理。