. . . . . "Zermelova\u2013Fraenkelova teorie mno\u017Ein"@cs . . "Axiomatizace Zermelo-Fraenkelovy teorie mno\u017Ein"@cs . "Zermelova-Fraenkelova teorie mno\u017Ein (ZF) je nejroz\u0161\u00ED\u0159en\u011Bj\u0161\u00ED axiomatickou soustavou teorie mno\u017Ein, kter\u00E1 je sama o sob\u011B nebo v n\u011Bkter\u00FDch m\u00EDrn\u00FDch modifikac\u00EDch (nap\u0159. obohacena o axiom v\u00FDb\u011Bru - v takov\u00E9m p\u0159\u00EDpad\u011B mluv\u00EDme o ZFC) pou\u017E\u00EDv\u00E1na jako z\u00E1klad pro v\u011Bt\u0161inu dal\u0161\u00EDch odv\u011Btv\u00ED matematiky v\u010Detn\u011B algebry a matematick\u00E9 anal\u00FDzy.Principem ZF je postupn\u00E1 konstrukce mno\u017Ein - objekt\u016F mno\u017Einov\u00E9ho univerza - z n\u011Bkolika z\u00E1kladn\u00EDch axiom\u016F tak, aby vznikl\u00E1 teorie byla dostate\u010Dn\u011B bohat\u00E1 (je t\u0159eba umo\u017Enit existenci nespo\u010Detn\u00FDch mno\u017Ein typu re\u00E1ln\u00FDch \u010D\u00EDsel, existenci shora neomezen\u00E9 \u0159ady nekone\u010Dn\u00FDch kardinalit), ale z\u00E1rove\u0148 neumo\u017E\u0148ovala existenci mno\u017Ein pou\u017Eit\u00FDch v paradoxech klasick\u00E9 intuitivn\u011B pojat\u00E9 teorie mno\u017Ein (nap\u0159. Russell\u016Fv paradox, Burali-Fortiho paradox)."@cs . "Zermelova\u2013Fraenkelova teorie mno\u017Ein#Axiom nekone\u010Dna"@cs . . . . . . . "ZF"@cs . . "Zermelova-Fraenkelova teorie mno\u017Ein (ZF) je nejroz\u0161\u00ED\u0159en\u011Bj\u0161\u00ED axiomatickou soustavou teorie mno\u017Ein, kter\u00E1 je sama o sob\u011B nebo v n\u011Bkter\u00FDch m\u00EDrn\u00FDch modifikac\u00EDch (nap\u0159."@cs . . . . . . . . . . . . . . . "16588269"^^ . . . . "116016"^^ . . . . . . "13377"^^ . "49"^^ . . . . "Zermelova\u2013Fraenkelova teorie mno\u017Ein"@cs . . . . . . . . . . .