axiom of extensionality

Summary

axiom of extensionality is an axiom of set theory^[1]. It draws 103 Wikipedia views per month (axiom_of_set_theory category, ranking #5 of 17).^[2]

Key Facts

• axiom of extensionality's instance of is recorded as axiom of set theory^[3].
• axiom of extensionality's part of is recorded as list of axioms^[4].
• axiom of extensionality's Freebase ID is recorded as /m/0ds00^[5].
• axiom of extensionality's Encyclopædia Britannica Online ID is recorded as topic/axiom-of-extensionality^[6].
• axiom of extensionality's defining formula is recorded as \forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \Rightarrow A = B)^[7].
• axiom of extensionality's studied by is recorded as Zermelo–Fraenkel set theory^[8].
• axiom of extensionality's BabelNet ID is recorded as 03314802n^[9].
• axiom of extensionality's MathWorld ID is recorded as AxiomofExtensionality^[10].
• axiom of extensionality's JSTOR topic ID is recorded as axiom-of-extensionality^[11].
• axiom of extensionality's nLab ID is recorded as axiom of extensionality^[12].
• axiom of extensionality's maintained by WikiProject is recorded as WikiProject Mathematics^[13].
• axiom of extensionality's Microsoft Academic ID is recorded as 90984967^[14].
• axiom of extensionality's ProofWiki ID is recorded as Axiom:Axiom_of_Extension^[15].
• axiom of extensionality's Treccani's Enciclopedia della Matematica ID is recorded as assioma-di-estensionalita^[16].
• axiom of extensionality's ScienceDirect topic ID is recorded as computer-science/extensionality-axiom^[17].
• axiom of extensionality's Metamath statement ID is recorded as ax-ext^[18].

Why It Matters

axiom of extensionality draws 103 Wikipedia views per month (axiom_of_set_theory category, ranking #5 of 17).^[2] It has Wikipedia articles in 18 language editions, a strong signal of global cultural recognition.^[19] It is known by 4 alternative names across languages and contexts.^[20]