About: Tarski–Grothendieck set theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

System of mathematical set theory

Property	Value
dbo:description	System of mathematical set theory (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20030826145643/http:/modular.fas.harvard.edu/sga/sga/4-1/4-1t_185.html https://web.archive.org/web/20110930143638/http:/dare.uva.nl/document/25381 http://mizar.uwb.edu.pl/JFM/Axiomatics/tarski.html http://planetmath.org/encyclopedia/TarskisAxiom.html http://us.metamath.org/mpegif/mmset.html http://us.metamath.org/mpeuni/ax-groth.html http://modular.fas.harvard.edu/sga/sga/4-1/4-1t_185.html http://matwbn.icm.edu.pl/ksiazki/fm/fm30/fm30113.pdf http://matwbn.icm.edu.pl/ksiazki/fm/fm32/fm32115.pdf
dbo:wikiPageWikiLink	dbr:Category_theory dbr:Class_(set_theory) dbr:PlanetMath dbr:Axiom_of_empty_set dbr:Range_of_a_function dbr:Axiom_of_extensionality dbr:Cardinality dbr:Axiom_schema_of_replacement dbr:Singleton_(mathematics) dbr:Alexander_Grothendieck dbr:Formal_system dbr:Jean-Louis_Verdier dbr:Domain_of_a_function dbr:Ordered_pair dbr:Zermelo–Fraenkel_set_theory dbr:Inaccessible_cardinal dbr:Axiom_of_power_set dbr:Benedikt_Löwe dbr:Axiom_of_limitation_of_size dbr:Equinumerosity dbr:Springer_Science+Business_Media dbr:Subset dbr:Axiom dbr:Definition dbr:Alfred_Tarski dbr:Ontology dbr:Unordered_pair dbr:Grothendieck_universe dbr:Michael_Artin dbr:Axiom_of_regularity dbr:Mizar_system dbr:Andreas_Blass dbc:Systems_of_set_theory dbr:Union_(set_theory) dbr:Axiom_of_infinity dbr:Axiom_of_choice dbr:Patrick_Suppes dbr:Metamath dbr:ZFC dbr:Alexandre_Grothendieck dbr:Axiomatic_set_theory dbr:Non-conservative_extension dbr:Proof_verification
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Math dbt:Cite_journal dbt:Cite_conference dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Systems_of_set_theory
gold:hypernym	dbr:Theory
rdfs:label	Tarski–Grothendieck set theory (en) Tarski-Grothendieck-Mengenlehre (de) Teoria degli insiemi di Tarski-Grothendieck (it) Teoria dos conjuntos de Tarski-Grothendieck (pt)
owl:sameAs	wikidata:Tarski–Grothendieck set theory dbpedia-it:Tarski–Grothendieck set theory dbpedia-de:Tarski–Grothendieck set theory dbpedia-pt:Tarski–Grothendieck set theory dbpedia-global:Tarski–Grothendieck set theory freebase:Tarski–Grothendieck set theory
prov:wasDerivedFrom	wikipedia-en:Tarski–Grothendieck_set_theory?oldid=1281614369&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Tarski–Grothendieck_set_theory
is dbo:wikiPageRedirects of	dbr:Grothendieck-Tarski_set_theory dbr:Tarski-Grothendieck_set_theory
is dbo:wikiPageWikiLink of	dbr:Universe_(mathematics) dbr:Set_theory dbr:Proof_assistant dbr:Category_of_sets dbr:Ordered_pair dbr:Zermelo–Fraenkel_set_theory dbr:List_of_first-order_theories dbr:List_of_things_named_after_Alexander_Grothendieck dbr:Grothendieck_universe dbr:TG dbr:Mizar_system dbr:Axiom_of_choice dbr:Foundations_of_mathematics dbr:List_of_set_theory_topics dbr:List_of_things_named_after_Alfred_Tarski dbr:Andrzej_Trybulec dbr:Alternative_set_theory dbr:Conglomerate_(mathematics) dbr:Grothendieck-Tarski_set_theory dbr:Tarski-Grothendieck_set_theory
is foaf:primaryTopic of	wikipedia-en:Tarski–Grothendieck_set_theory