About: Morse–Kelley set theory

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

First‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes

Property Value
dbo:description
  • théorie (fr)
  • Theorie (de)
  • first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes (en)
  • unuaorda aroteorio permesanta konstruadon de klasoj per predikatoj kun klasaj malliberaj variabloj (eo)
  • sistema axiomàtic (ca)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Morse–Kelley set theory (en)
  • نظرية المجموعات حسب مورس-كيلي (ar)
  • Kelleyova–Morseova teorie množin (cs)
  • Teoría de conjuntos de Morse-Kelley (es)
  • Théorie des ensembles de Morse-Kelley (fr)
  • モース-ケリー集合論 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International