About: S (set theory)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

System of mathematical set theory

Property	Value
dbo:description	system of mathematical set theory (en)
dbo:wikiPageWikiLink	dbr:Hume's_principle dbr:Predicate_(mathematical_logic) dbr:Class_(set_theory) dbr:Proper_class dbr:Axiom_of_empty_set dbr:Mathematical_object dbr:Axiom_of_extensionality dbr:Transfinite_number dbc:Set_theory dbr:Set_theory dbr:First-order_logic dbr:Russell's_paradox dbr:Set_(mathematics) dbr:Cantor's_paradox dbr:Identity_(mathematics) dbr:Axiom_schema_of_replacement dbr:Paradox dbr:Naive_set_theory dbc:Z_notation dbr:Ordinal_number dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Hierarchy_(mathematics) dbr:Extensionality dbr:Von_Neumann_universe dbr:Ontology dbr:George_Boolos dbr:Transitive_relation dbr:Empty_set dbr:Burali-Forti_paradox dbr:Urelement dbc:Systems_of_set_theory dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:Primitive_notion dbr:Element_(mathematics) dbr:Axiom_of_choice dbr:Axiom_schema_of_specification dbr:Domain_of_discourse dbr:ZFC dbr:Axiomatic_set_theory dbr:Frege dbr:Abstract_object dbr:First-order_theory dbr:Iff dbr:Iterative_hierarchy dbr:First_order_logic dbr:Well-ordered dbr:Unrestricted_comprehension
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation dbt:Use_dmy_dates dbt:Short_description
dct:subject	dbc:Set_theory dbc:Z_notation dbc:Systems_of_set_theory
gold:hypernym	dbr:Theory
rdfs:label	S (set theory) (en)
owl:sameAs	freebase:S (set theory) yago-res:S (set theory) wikidata:S (set theory) dbpedia-global:S (set theory) dbr:S (set theory)
prov:wasDerivedFrom	wikipedia-en:S_(set_theory)?oldid=1265548604&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:S_(set_theory)
is dbo:wikiPageRedirects of	dbr:S_(Boolos_1989)
is dbo:wikiPageWikiLink of	dbr:Zermelo_set_theory dbr:Von_Neumann_universe dbr:Alternative_set_theory dbr:S_(Boolos_1989)
is foaf:primaryTopic of	wikipedia-en:S_(set_theory)