axiom of choice

Etymology

複合語。集合論の基本公理の一つ。

主要部 axiom

axiom（本項参照）に由来。

修飾語 of choice

選択する行為。古英語 ceosan より。

Origin

Zermelo 1904年。集合論。

Meaning

非空集合の族に対する選択関数の存在を主張する。

Earliest use

Zermelo 1904年。

Definition

集合論の基本公理。非空集合の族から各集合の元を1つずつ選ぶ選択関数の存在を主張。Zermelo 1904年。