知识/定理
策梅洛（1908）/弗伦克尔（1922）：ZFC 公理集合论——以受限构造公理（分离、并、幂集、选择公理）规避罗素悖论。
公式
选择公理 AC：$\prod_{i}A_i\ne\varnothing$（$A_i$ 非空）；正则公理禁 $x\in x$。
证明思路
（公理化）限制「构造集合的方式」，把集合论置于可靠公理之上。
应用/例子
现代数学的通用地基；几乎所有定理都「在 ZFC 内成立」。
意义/影响
数学大厦的混凝土；ZFC 成为标准基础，选择公理之争贯穿 20 世纪。
DOXA · 数学编年史 · 知识详情
1908 ｜ 策梅洛/弗伦克尔 ｜ 逻辑 ｜ 概念
策梅洛（1908）/弗伦克尔（1922）：ZFC 公理集合论——以受限构造公理（分离、并、幂集、选择公理）规避罗素悖论。
选择公理 AC：$\prod_{i}A_i\ne\varnothing$（$A_i$ 非空）；正则公理禁 $x\in x$。
（公理化）限制「构造集合的方式」，把集合论置于可靠公理之上。
现代数学的通用地基；几乎所有定理都「在 ZFC 内成立」。
数学大厦的混凝土；ZFC 成为标准基础，选择公理之争贯穿 20 世纪。