axiom_of_extensionality