About: General set theory

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

Fragment of the axiomatic set theory Z

Property	Value
dbo:description	fragment of the axiomatic set theory Z (en)
dbo:wikiPageExternalLink	http://plato.stanford.edu/entries/set-theory/
dbo:wikiPageWikiLink	dbr:Axiom_schema dbr:Restriction_(mathematics) dbr:Richard_Montague dbr:Axiom_of_empty_set dbr:Mathematical_object dbr:Peano_axioms dbr:Quantifier_(logic) dbr:The_Foundations_of_Arithmetic dbr:Consistency dbr:First-order_logic dbr:Russell's_paradox dbr:Set_(mathematics) dbr:Cardinality dbr:Cantor's_paradox dbr:Decidability_(logic) dbr:Andrzej_Mostowski dbr:Robinson_arithmetic dbc:Z_notation dbr:Domain_of_a_function dbr:Zermelo_set_theory dbr:Axiom_of_power_set dbr:Relation_algebra dbr:Successor_ordinal dbr:Geometry dbr:Mathematical_analysis dbr:Identity_(philosophy) dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Binary_relation dbr:Alfred_Tarski dbr:Infinite_set dbr:Necessary_and_sufficient_condition dbr:Axiom_of_Adjunction dbr:Axiom_of_Extensionality dbr:Ontology dbr:George_Boolos dbr:Theorem dbr:Empty_set dbr:Burali-Forti_paradox dbr:Axiom_of_union dbc:Systems_of_set_theory dbr:Axiom_of_infinity dbr:Primitive_notion dbr:Element_(mathematics) dbr:Natural_number dbr:Axiom_schema_of_specification dbr:Stanford_Encyclopedia_of_Philosophy dbr:ZFC dbr:Hereditarily_finite_set dbr:Axiomatic_set_theory dbr:Frege dbr:Foundation_of_mathematics dbr:Interpretability dbr:Peano_arithmetic dbr:Universe_of_discourse dbr:Pairing_axiom dbr:Adjoint_functor dbr:First_order_logic dbr:Binary_predicate dbr:Naïve_set_theory dbr:Raphael_Robinson dbr:Gödel's_incompleteness_theorem dbr:Peano's_axioms
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Reflist dbt:Use_dmy_dates dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Z_notation dbc:Systems_of_set_theory
gold:hypernym	dbr:Name
rdfs:label	General set theory (en) Загальна теорія множин (uk)
owl:sameAs	yago-res:General set theory freebase:General set theory wikidata:General set theory dbpedia-uk:General set theory dbpedia-global:General set theory dbr:General set theory
prov:wasDerivedFrom	wikipedia-en:General_set_theory?oldid=1250626553&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:General_set_theory
is dbo:wikiPageDisambiguates of	dbr:GST
is dbo:wikiPageWikiLink of	dbr:Axiom_of_empty_set dbr:Peano_axioms dbr:Set_theory dbr:Robinson_arithmetic dbr:Zermelo–Fraenkel_set_theory dbr:Equinumerosity dbr:List_of_first-order_theories dbr:George_Boolos dbr:GST dbr:FinSet dbr:List_of_set_theory_topics dbr:Constructive_set_theory dbr:Hereditarily_finite_set dbr:Axiom_of_adjunction dbr:Alternative_set_theory
is foaf:primaryTopic of	wikipedia-en:General_set_theory