SHMARQL

axiom of extensionality

<http://www.wikidata.org/entity/Q740424>

axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation
rdfs:label
"axiom of extensionality"@en
skos:altLabel
"axiom of extension"@en
schema:description
"axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation"@en
schema:dateModified "2026-10-04T08:57:19+00:00"^^xsd:dateTime
schema:version 2552976901
wikibase:identifiers 11
wikibase:sitelinks 23
wikibase:statements 16
p:P10376 wd:statement/Q740424-00c9cafa-4569-d50e-0131-f47f1e2ce8a9
p:P12888 wd:statement/Q740424-6d54adbb-4b3f-2afb-49b9-d893aef078fc
p:P1417 wd:statement/Q740424-A653B067-1211-4642-933D-58D8FD0C8B7E
p:P2534 wd:statement/Q740424-8620ABB7-5BE2-49E1-A579-0F4F8475EB1F
p:P2579 wd:statement/Q740424-ddaa8f7a-4de1-b7bd-1992-309bb5d0fa32
p:P2581 wd:statement/Q740424-27FB6FBF-49C5-4210-9435-00D5B2802F7E
p:P2812 wd:statement/Q740424-F291D04B-88C0-47CC-98B7-A4051DCD233E
p:P31 wd:statement/Q740424-cc41625d-46cc-8b59-5617-412e6e5df761
p:P361 wd:statement/Q740424-85A343BE-B580-4981-9930-FBBA9BC97B40
p:P3827 wd:statement/Q740424-DC837662-F2E9-43A7-85CD-51335DE595BD
p:P4215 wd:statement/Q740424-11558818-FEF2-484E-8EE2-7D739D8DF51A
p:P6104 wd:statement/Q740424-14078009-65C9-40D0-9D27-FA5B9D53C2D4
p:P6366 wd:statement/Q740424-3EE458DC-322D-47B6-A23C-0BFB7D3EC674
p:P646 wd:statement/Q740424-B7C8E8B0-7D88-4690-ADEE-54813C4067DC
p:P6781 wd:statement/Q740424-0f2df7b2-40c5-164e-8568-fb160b4742cd
p:P9621 wd:statement/Q740424-B8C382A1-7F39-4CE6-8AC7-BA5970414F4A
p:direct-normalized/P2581 <http://babelnet.org/rdf/s03314802n>
p:direct-normalized/P6366 <https://makg.org/entity/90984967>
wdt:P10376 "computer-science/extensionality-axiom"
wdt:P12888 "ax-ext"
wdt:P1417 "topic/axiom-of-extensionality"
wdt:P2534 "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">&#x2200;</mi><mi>A</mi><mspace width="0.167em"></mspace><mi mathvariant="normal">&#x2200;</mi><mi>B</mi><mspace width="0.167em"></mspace><mo stretchy="false">(</mo><mi mathvariant="normal">&#x2200;</mi><mi>X</mi><mspace width="0.167em"></mspace><mo stretchy="false">(</mo><mi>X</mi><mo stretchy="false">&#x2208;</mo><mi>A</mi><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mi>X</mi><mo stretchy="false">&#x2208;</mo><mi>B</mi><mo stretchy="false">)</mo><mo stretchy="false">&#x21D2;</mo><mi>A</mi><mo stretchy="false">=</mo><mi>B</mi><mo stretchy="false">)</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P2579 Zermelo–Fraenkel set theory
wdt:P2581 "03314802n"
wdt:P2812 "AxiomofExtensionality"
wdt:P31 axiom of set theory
wdt:P361 list of axioms
wdt:P3827 "axiom-of-extensionality"
wdt:P4215 "axiom of extensionality"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "90984967"
wdt:P646 "/m/0ds00"
wdt:P6781 "Axiom:Axiom_of_Extension"
wdt:P9621 "assioma-di-estensionalita"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata