Axiom talk:Axiom of Extension

Can I add "The order and multiplicity of the elements in the sets is immaterial." ? I'm trying to think of a better word than multiplicity since that has certain connotations, but I think it's an important point. Or do you think it's sufficiently implied in what's on the page? --GFauxPas 11:32, 27 December 2011 (CST)


 * No, because at the level of definition of axiomatic set theory the concept of multiple instances of a single element does not arise, it can't happen in this context. I think. --prime mover 14:52, 27 December 2011 (CST)

Alternate Formulation
Is the alternate form a weak form of the standard one, or is it completely different? The statement $A \in x$ is bothering me; I wanted it to be $x \in A$, since we're quantifying over $x$. --GFauxPas 18:15, 11 August 2012 (UTC)


 * The alternate form is for set theories that define $=$. You can change the variables from $A$ if you want. --Andrew Salmon 19:14, 11 August 2012 (UTC)
 * It's not that, it's just that I'm not sure what the scope of the quantifier is. --GFauxPas 20:36, 11 August 2012 (UTC)