Zermelo set theory

URI: https://gptkb.org/entity/Zermelo_set_theory

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory
gptkbp:alsoKnownAs	Z
gptkbp:axiomatizes	gptkb:set_theory
gptkbp:doesNotIncludeAxiom	gptkb:Axiom_of_Regularity gptkb:Axiom_of_Replacement
gptkbp:field	gptkb:logic gptkb:set_theory
gptkbp:hasAxiom	gptkb:Axiom_of_Choice gptkb:Axiom_of_Empty_Set gptkb:Axiom_of_Extensionality gptkb:Axiom_of_Infinity gptkb:Axiom_of_Pairing gptkb:Axiom_of_Power_Set gptkb:Axiom_of_Separation gptkb:Axiom_of_Union
gptkbp:hasSubgroup	gptkb:Zermelo–Fraenkel_set_theory
https://www.w3.org/2000/01/rdf-schema#label	Zermelo set theory
gptkbp:introducedIn	1908
gptkbp:isFoundationFor	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:isWeakerThan	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:namedAfter	gptkb:Ernst_Zermelo
gptkbp:bfsParent	gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Axiom_of_Separation gptkb:Axiom_of_pairing gptkb:Axiom_of_union gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) gptkb:Axiom_schema_of_separation
gptkbp:bfsLayer	6