2026年7月18日种子公式全录（上）：大众正典 22 条——从 1 + 1 = 2 到 Black-Scholes，每个符号都给准数学号称有上亿条公式，但真正的"种子"很少。这篇收录两份最权威的大众榜单的并集——Ian Stewart《改变世界的 17 个方程》与 Robert Crease《伟大的方程》（Physics World 读者投票）——去重后恰好 22 条。按六幕从简单到复杂排列：数与形、变化与力、波与场、热随机与信息、相对论与量子、混沌与市场。每条给出精确公式、逐符号解释和它为什么配称"种子"。数学种子公式收藏向物理
2026年7月18日种子公式全录（下）：ZFC 九条公理与 Wiedijk 百定理全枚举——数学的 DNA 与考卷数学压缩到极限是多少条公式？答案被实测过：9 条 ZFC 公理，经过 12,151 条中间定理，撑起学界公认的 100 条名定理。本篇把两层全部枚举：ZFC 九条公理逐条给出严格的一阶逻辑写法（含公理模式、弱形式等所有记号细节），Wiedijk"形式化 100 定理"清单逐条给出精确陈述。100 条中 99 条已被计算机验证，唯一悬着的是费马大定理。数学种子公式收藏向数理逻辑