SHMARQL

Tarski–Grothendieck set theory

<http://www.wikidata.org/entity/Q3984085>

system of set theory
rdfs:label
"Tarski–Grothendieck set theory"@en
skos:altLabel "タルスキ=グロタンディーク集合論"@ja
"タルスキ＝グロタンディーク集合論"@ja
schema:description "system of set theory"@en
schema:dateModified "2026-10-21T09:34:37+00:00"^^xsd:dateTime
schema:version 2559458257
wikibase:identifiers 4
wikibase:sitelinks 5
wikibase:statements 7
p:P138 wd:statement/Q3984085-464b293a-48e0-c6c5-2491-252d2867e689
wd:statement/Q3984085-eb86fbab-49fb-2051-5cdf-acdc9c834ad7
p:P31 wd:statement/Q3984085-6ab728f6-466f-8c30-49f3-b05093759643
p:P6366 wd:statement/Q3984085-19ABC0A0-F693-4567-B6A1-965C8D929B7D
p:P646 wd:statement/Q3984085-055244D4-46B9-4C49-AFD3-85242FA682C1
p:P6781 wd:statement/Q3984085-4c14f8ed-49b0-1746-8d5c-f9e52b973dfd
p:P7726 wd:statement/Q3984085-f9f89bbb-46d5-93a1-b3dc-9466f75573fd
p:direct-normalized/P6366 <https://makg.org/entity/2776908979>
wdt:P138 Alfred Tarski
Alexander Grothendieck
wdt:P31 axiomatic set theory
wdt:P6366 "2776908979"
wdt:P646 "/m/0fqc72"
wdt:P6781 "Definition:Tarski-Grothendieck_Set_Theory"
wdt:P7726 "TarskisAxiom"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata