axiom of power set
专有名词
英文释义
专有名词
-
The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC.
— 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 次浏览
数据来源: Wiktionary