在数学中，选择公理或AC是集合论的公理。它在1904年由恩斯特·策梅洛公式化。尽管最初有着争议，它现在被多数数学家无挂碍的使用着。但仍有数学学派，主要在集合论内，认为要么拒绝选择公理，要么研究与 AC 矛盾的公理的推论。

在数学中，选择公理或AC是集合论的公理。它在1904年由恩斯特·策梅洛公式化。尽管最初有着争议，它现在被多数数学家无挂碍的使用着。但仍有数学学派，主要在集合论内，认为要么拒绝选择公理，要么研究与 AC 矛盾的公理的推论。