Wersja z 17:09, 26 maj 2017 edytuj Mpn (dyskusja \| edycje) Członkowie Komitetu Arbitrażowego, Redaktorzy, Rewizorzy, Administratorzy 117 663 edycje źródła/przypisy ← poprzednia edycja		Wersja z 17:15, 26 maj 2017 edytuj anuluj edycję Mpn (dyskusja \| edycje) Członkowie Komitetu Arbitrażowego, Redaktorzy, Rewizorzy, Administratorzy 117 663 edycje źródła/przypisy następna edycja →
Linia 13: == Wersja ogólna == Dla dowolnego zbioru ''u'' istnieje taki zbiór ''y'', że – dla dowolnego zbioru ''x'' – ''Cx'' jest elementem ''By'' wtedy i tylko wtedy, gdy istnieje zbiór ''Dz'' będący elementem ''Au'' i którego elementem jest ''Cx''. Formalnie{{odn\|Nowak\|2016\|s=92}}: :<math> \forall Au \exist By \forall Cx (Cx \in By \~~iff~~Leftrightarrow \exist Dz (Cz \in Du \Rightarrow z \in Az))</math>. Analogicznie do poprzedniego przypadku, stosując aksjomat ekstensjonalności, można łatwo wykazać istnienie dokładnie jednego takiego zbioru, który nazywamy wtedy sumą ([[Rodzina zbiorów\|rodziną]]) <math>\mathcal{A}</math> i oznaczamy <math>\bigcup \mathcal{A}</math>.

Aksjomat sumy: Różnice pomiędzy wersjami