SHMARQL

axiomatic set theory

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

version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic
rdfs:label
"axiomatic set theory"@en
skos:altLabel
"نظریه اصل موضوعی مجموعه ها"@fa
"نظریهٔ اصل موضوعی مجموعه ها"@fa
schema:description
"version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic"@en
schema:dateModified "2026-10-04T08:55:46+00:00"^^xsd:dateTime
schema:version 2552976464
wikibase:identifiers 10
wikibase:sitelinks 17
wikibase:statements 16
p:P1051 wd:statement/Q904423-66C83B81-36A4-4E25-8A1B-091EA922BE58
p:P1889 wd:statement/Q904423-7b9e4fac-49ba-742f-c450-76f5f7393328
p:P2671 wd:statement/Q904423-7F019D17-6EC8-4B60-8C7C-AC1D40CDE078
wd:statement/Q904423-B560BC3E-02D2-4E50-B064-1C9D7FB02091
p:P279 wd:statement/Q904423-5cf3b6b4-4bb6-d124-7315-99981e9701c0
p:P2812 wd:statement/Q904423-eb70edf6-44ac-42dd-f807-33cd0933fe0d
p:P2924 wd:statement/Q904423-163f7c2d-4862-b605-3d96-2c6a7cf0b9be
p:P31 wd:statement/Q904423-5bc400ce-42e3-e081-c855-b6eaa49eec74
p:P3417 wd:statement/Q904423-DF9F4316-3030-47CF-86E9-CB38DB6B331C
p:P349 wd:statement/Q904423-474495FA-2FE9-490B-B548-E9EDEF438546
p:P461 wd:statement/Q904423-dc9ba06b-4928-ffe9-bf15-2fd941189acf
p:P6104 wd:statement/Q904423-81F2FC29-B063-4AC7-935C-7C92FBAC3B38
p:P6781 wd:statement/Q904423-25677874-4dd8-65f4-9338-9b201028c10b
p:P8408 wd:statement/Q904423-98C2636C-ADAA-4329-A60E-AA29F928DC3D
p:P910 wd:statement/Q904423-e3832450-4944-40ed-8c1c-bcccec571d0e
p:P9545 wd:statement/Q904423-F0C062F4-BC1F-4309-847C-9DC999D36027
p:direct-normalized/P2671 <http://g.co/kg/g/11clszl1zd>
<http://g.co/kg/g/1224bhbj>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00566631>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/SystemsOfSetTheory>
wdt:P1051 "7145"
wdt:P1889 axiom of set theory
wdt:P2671 "/g/11clszl1zd"
"/g/1224bhbj"
wdt:P279 axiomatic system
wdt:P2812 "AxiomaticSetTheory"
wdt:P2924 "1807494"
wdt:P31 set theory
wdt:P3417 "Axiomatic-Set-Theory"
wdt:P349 "00566631"
wdt:P461 naive set theory
wdt:P6104 WikiProject Mathematics
wdt:P6781 "Definition:Axiomatic_Set_Theory"
wdt:P8408 "SystemsOfSetTheory"
wdt:P910 Category:Systems of set theory
wdt:P9545 "204306"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata