Kelleyova-Morseova teorie množin (označovaná též KM) je pokusem o teorii množin silnějších vlastností než jsou klasické axiomatizace Zermelova-Fraenkelova (ZF) a Von Neumannova-Gödelova-Bernaysova (NGB). V KM je dokazatelná (formální) konzistence ZF.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Kelleyova-Morseova teorie množin (označovaná též KM) je pokusem o teorii množin silnějších vlastností než jsou klasické axiomatizace Zermelova-Fraenkelova (ZF) a Von Neumannova-Gödelova-Bernaysova (NGB). V KM je dokazatelná (formální) konzistence ZF.
dbpedia-owl:wikiPageID
  • 126613 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2345 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 14 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15632986 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Kelleyova–Morseova teorie množin
dcterms:subject
rdfs:comment
  • Kelleyova-Morseova teorie množin (označovaná též KM) je pokusem o teorii množin silnějších vlastností než jsou klasické axiomatizace Zermelova-Fraenkelova (ZF) a Von Neumannova-Gödelova-Bernaysova (NGB). V KM je dokazatelná (formální) konzistence ZF.
rdfs:label
  • Kelleyova–Morseova teorie množin
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of