Axiom výběru: Porovnání verzí

Axiom výběru (editovat)

Přidáno 17 bajtů , před 15 lety

m

rozdělení vzorce na dva řádky pro přehlednost, + vhodnější symbol pro prázdnou množinu

3 556

editací

Verze z 19. 9. 2006, 15:46 (editovat) Mormegil (diskuse \| příspěvky) m (vráceno podívejte se na, které tajuplně zmizelo při automergi editkonfliktu) ← Přejít na předchozí porovnání		Verze z 20. 9. 2006, 14:05 (editovat) (zrušit editaci) Glivi (diskuse \| příspěvky) m (rozdělení vzorce na dva řádky pro přehlednost, + vhodnější symbol pro prázdnou množinu) Přejít na další porovnání →
V matematické notaci: :<math>(\forall I\neq \~~varnothing~~emptyset) (\forall i) (i\in I \implies A_{i} \neq \~~varnothing~~emptyset) \implies (\exists f (f\ \mbox{je funkce} \, \and \ , \operatorname{dom}(f)=I \ ,\and\ ~~(\forall i) (i \in I \implies f(i) \in A_{i})))~~</math> <math> \and\, (\forall i) (i \in I \implies f(i) \in A_{i})))</math> ==Motivace pro přijetí AC==