最終更新日:2022/12/24
The axiom of choice differs from other axioms of ZF by stating existence of a set (i.e., a choice function) without defining it (unlike, for instance, the axiom of pairing or the axiom of power set).
編集履歴(0)
The axiom of choice differs from other axioms of ZF by stating existence of a set (i.e., a choice function) without defining it (unlike, for instance, the axiom of pairing or the axiom of power set).