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

Přidány 2 bajty ,  před 3 lety
m
Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap
m (Robot: přidáno {{Autoritní data}}; kosmetické úpravy)
m (Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap)
 
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} \, \andland \, \operatorname{dom}(f)=I \, \andland \, (\forall i) (i \in I \implies f(i) \in A_{i})))</math>.
 
== Motivace pro přijetí AC ==
192

editací