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

Skočit na navigaci Skočit na vyhledávání
Odebráno 18 bajtů ,  před 15 lety
m
m (rozdělení vzorce na dva řádky pro přehlednost, + vhodnější symbol pro prázdnou množinu)
 
V matematické notaci:
<math>(\forall I\neq \emptyset) (\forall i) (i\in I \implies A_{i} \neq \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==
89

editací

Navigační menu