Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích (např.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích (např. obohacena o axiom výběru - v takovém případě mluvíme o ZFC) používána jako základ pro většinu dalších odvětví matematiky včetně algebry a matematické analýzy.Principem ZF je postupná konstrukce množin - objektů množinového univerza - z několika základních axiomů tak, aby vzniklá teorie byla dostatečně bohatá (je třeba umožnit existenci nespočetných množin typu reálných čísel, existenci shora neomezené řady nekonečných kardinalit), ale zároveň neumožňovala existenci množin použitých v paradoxech klasické intuitivně pojaté teorie množin (např. Russellův paradox, Burali-Fortiho paradox).
dbpedia-owl:wikiPageID
  • 116016 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 13377 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 49 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16588269 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Axiomatizace Zermelo-Fraenkelovy teorie množin
  • ZF
  • Zermelova–Fraenkelova teorie množin
  • Zermelova–Fraenkelova teorie množin#Axiom nekonečna
dcterms:subject
rdfs:comment
  • Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích (např.
rdfs:label
  • Zermelova–Fraenkelova teorie množin
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of