axiom of choice

短语

[计] 选择公理

词形变化

axioms of choice 复数 axioms of choice

别名

choice AC

释义与例句

n.
  1. 1.

    One of the axioms of set theory, equivalent to the statement that an arbitrary direct product of non-empty sets is non-empty; any version of said axiom, for example specifying the cardinality of the number of sets from which choices are made.

    选择公理

    数学

    The axiom of choice is logically equivalent to the assertion that every vector space has a basis.

词源

A calque of German Axiom der Auswahl (now more commonly Auswahlaxiom), which first appeared in print with a description of the axiom in 1908, Ernst Zermelo, Untersuchungen über die Grundlagen der Mengenlehre I ["Investigations in the foundations of set theory I"], Mathematische Annalen, 65 (although the paper was dated 1907).

来源：wiktionary