Von Neumannova-Bernaysova-Gödelova teorie množin (někdy také označovaná jako Gödelova-Bernaysova teorie množin nebo NBG či GB) je jedním z nejšířeji přijatých a používaných axiomatických systémů teorie množin.Stejně jako v případě Zermelovy-Fraenkelovy teorie množin nebo Kelleyova-Morseova teorie množin se jedná o (úspěšný) pokus postavit teorii množin a tím i celou moderní matematiku na přísných formálních základech, které zabrání sporům typu Russellova paradoxu.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Von Neumannova-Bernaysova-Gödelova teorie množin (někdy také označovaná jako Gödelova-Bernaysova teorie množin nebo NBG či GB) je jedním z nejšířeji přijatých a používaných axiomatických systémů teorie množin.Stejně jako v případě Zermelovy-Fraenkelovy teorie množin nebo Kelleyova-Morseova teorie množin se jedná o (úspěšný) pokus postavit teorii množin a tím i celou moderní matematiku na přísných formálních základech, které zabrání sporům typu Russellova paradoxu.
dbpedia-owl:wikiPageID
  • 126401 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4651 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 34 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15633071 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Axiomatizace Gödel-Bernaysovy teorie množin
  • Von Neumannova–Bernaysova–Gödelova teorie množin
dcterms:subject
rdfs:comment
  • Von Neumannova-Bernaysova-Gödelova teorie množin (někdy také označovaná jako Gödelova-Bernaysova teorie množin nebo NBG či GB) je jedním z nejšířeji přijatých a používaných axiomatických systémů teorie množin.Stejně jako v případě Zermelovy-Fraenkelovy teorie množin nebo Kelleyova-Morseova teorie množin se jedná o (úspěšný) pokus postavit teorii množin a tím i celou moderní matematiku na přísných formálních základech, které zabrání sporům typu Russellova paradoxu.
rdfs:label
  • Von Neumannova–Bernaysova–Gödelova teorie množin
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of