axiom of power set

短语

释义与例句

name
  1. 1.

    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.

    数学

    2012, A. H. Lightstone, H. B. Enderton (editor), Mathematical Logic: An Introduction to Model Theory, Plenum Press, Softcover, page 292, The Axiom of Power Set asserts that the collection of all subsets of a set is a set. […] Adding the Axiom of Power Set compels the collection empty to be a set.