The Axiom of Empty Set and the [[Axiom of Choice]] are the only two axioms of set theory that [[Constructive_proof|non-constructively]] assert the existence of a set. | The Axiom of Empty Set and the [[Axiom of Choice]] are the only two axioms of set theory that [[Constructive_proof|non-constructively]] assert the existence of a set. |