| http://www.w3.org/ns/prov#value | - I found in the Wolfram MathWorld page of the Axiom of the Empty Set that this is one of the Zermelo-Fraenkel Axioms, however on the page about these ZFC Axioms I read that it is an axiom that can be deduced from the Axiom of Subsets and the Axiom of Foundation (or Axiom of Regularity), so, the existence of the Empty Set is an axiom of ZFC or not?
|
