od Him » 4. 9. 2009 21:51
Axiom vyberu rika: "Ke kazdemu zobrazeni f mnoziny X na mnozinu Y existuje zobrazeni g: Y -> X takove, ze fg = id_Y"
Jak z toho plyne Zermelova veta: "Z axiomu vyberu plyne, ze kazdou mnozinu lze dobre usporadat"?
Diky za pomoc!
Axiom vyberu rika: "Ke kazdemu zobrazeni f mnoziny X na mnozinu Y existuje zobrazeni g: Y -> X takove, ze fg = id_Y"
Jak z toho plyne Zermelova veta: "Z axiomu vyberu plyne, ze kazdou mnozinu lze dobre usporadat"?
Diky za pomoc!