选择公理1904

选择公理 是数学中的一条集合论公理，用来证明一些难以明确构造的对象的存在性。选择公理最早于1904年，由恩斯特·策梅洛为了证明良序定理而作为一条公理加入。