Created Axiom of Extensionality