选择公理（，缩写AC）是数学中的一条集合论公理。这条公理声明，对所有非空指标集族formula_1，总存在一个索引族formula_2，对每一个formula_3，均有formula_4。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。非正式地说，选择公理声明：给定一些盒子（可以是无限个），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具体的选择规则”（当每个盒子都