Zermelo–Fraenkel set theory

variant of ZFC, the standard axiomatic set theory
rdfs:label
"Zermelo–Fraenkel set theory"@en
skos:altLabel
"ZF set theory"@en
"ZF theory"@en
"Zermelo-Fraenkel axioms"@en
"Zermelo-Fraenkel set theory"@en
"set theory"@en
schema:description
"variant of ZFC, the standard axiomatic set theory"@en
schema:dateModified "2026-10-04T08:55:56+00:00"^^xsd:dateTime
schema:version 2552976494
wikibase:identifiers 17
wikibase:sitelinks 32
wikibase:statements 33
p:P10283 wd:statement/Q191849-88DB27D3-7305-4EAE-B926-816646327E13
p:P10565 wd:statement/Q191849-9E6C03FA-1A90-4335-B99D-E6ADDCCF1F97
p:P12385 wd:statement/Q191849-9db883f2-f147-4701-b23d-b02a29b45689
p:P12946 wd:statement/Q191849-3F1C2F35-1F2F-4B3B-B809-4DD31E44A310
p:P1296 wd:statement/Q191849-4CE1C9AE-B1D3-4B81-B767-BF77338AAEBF
p:P138 wd:statement/q191849-61ac671e-4422-ce60-33ce-7bdce914ac22
wd:statement/q191849-dffd6ba8-4df6-84e2-0c40-559ae366c542
p:P1417 wd:statement/Q191849-6F9D4B3D-8032-46A7-8BE0-328D80CB7BCE
p:P14541 wd:statement/Q191849-995C309F-B341-4B27-97C5-062463BA0B71
p:P1889 wd:statement/Q191849-89736890-4ff3-f973-05f9-ad1f13feb0da
p:P227 wd:statement/Q191849-ABA638BA-9932-4496-99AA-DE4056BD135A
p:P2578 wd:statement/Q191849-0df900e8-4185-6c25-634c-8b41bb087fe8
wd:statement/Q191849-1960b59a-4954-f308-2125-c5c49731f21c
wd:statement/Q191849-65c2c8e2-462d-f46f-b6c7-3b86946ce239
wd:statement/Q191849-6f4400ad-495d-4511-c470-d937291f5dcf
wd:statement/Q191849-922739a7-4271-8447-1e0e-7fdddd712921
wd:statement/Q191849-a51ebc63-4c4d-460f-887a-3236bf25124a
wd:statement/Q191849-b0d3e0fa-4aea-e9d8-4304-be7587503860
wd:statement/Q191849-e59b26b8-4ca5-6b39-cbf5-5f7ed8224de8
p:P2581 wd:statement/Q191849-2C0BDE18-556F-4362-9EE8-1864AD30D14E
p:P2812 wd:statement/Q191849-A42E878D-70AF-418F-85C3-58AB2BEBB4BC
wd:statement/Q191849-C1914A0B-4C14-487C-A0CC-CD0921EA30AD
p:P31 wd:statement/Q191849-CB03900A-50EB-4985-9534-844228B6C8A3
wd:statement/Q191849-e38b70c2-4c34-1a16-208b-1e20a5fa1687
p:P3827 wd:statement/Q191849-3050A28A-E0C5-4FC0-B409-8ABAC633E375
p:P527 wd:statement/Q191849-fb2704d6-4f94-a8d0-8554-5e43ed1df9b6
p:P6104 wd:statement/Q191849-326D8394-CBA2-47A5-9383-B04F31969982
p:P6366 wd:statement/Q191849-A99B4DE5-859D-42B0-BF77-3EA0CFE337E0
p:P646 wd:statement/Q191849-A04030E9-BC90-4CE5-8645-2C4310862E58
p:P6781 wd:statement/Q191849-6e8de81a-4be2-fd9d-a0dc-d83ac4c4c628
p:P8313 wd:statement/Q191849-A206123C-D311-4850-90B8-1AD02003A02D
p:P910 wd:statement/Q191849-2B6D27D0-B8A4-416B-A591-E6B6E1C976C9
p:P9621 wd:statement/Q191849-CE4583CF-4BC1-46F6-A5CB-9D752AB429A3
p:direct-normalized/P227 <https://d-nb.info/gnd/4190747-4>
p:direct-normalized/P2581 <http://babelnet.org/rdf/s00739998n>
p:direct-normalized/P6366 <https://makg.org/entity/51460>
wdt:P10283 "C51460"
wdt:P10565 "229361"
wdt:P12385 "axioma-de-zermelo"
wdt:P12946 "Zermelo+Fränkel+set+theory"
wdt:P1296 "0073263"
wdt:P138 Ernst Zermelo
Abraham Fraenkel
wdt:P1417 "topic/Zermelo-Fraenkel-set-theory"
wdt:P14541 "1GmKrx"
wdt:P1889 Zermelo–Fraenkel set theory with choice
wdt:P227 "4190747-4"
wdt:P2578 axiom of power set
axiom schema of replacement
axiom of union
axiom of regularity
axiom of extensionality
axiom schema of specification
axiom of infinity
axiom of pairing
wdt:P2581 "00739998n"
wdt:P2812 "Zermelo-FraenkelSetTheory"
wdt:P31 set theory
wdt:P3827 "zermelo-frankel-set-theory"
wdt:P527 Zermelo set theory
wdt:P6104 WikiProject Mathematics
wdt:P6366 "51460"
wdt:P646 "/m/013tp0"
wdt:P6781 "Definition:Zermelo-Fraenkel_Set_Theory"
wdt:P8313 "Zermelo-Fraenkels_aksiomer"
wdt:P910 Category:Zermelo–Fraenkel set theory
wdt:P9621 "teoria-di-zermelo-fraenkel"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata