Wersja z 23:57, 4 sty 2017 edytuj Wipur (dyskusja \| edycje) Redaktorzy 25 535 edycji m Usunięto kategorię "Aksjomaty Zermela-Fraenkela"; Dodano kategorię "Aksjomaty Zermela-Fraenkla" za pomocą HotCat, drobne redakcyjne ← poprzednia edycja		Wersja z 17:09, 26 maj 2017 edytuj anuluj edycję Mpn (dyskusja \| edycje) Członkowie Komitetu Arbitrażowego, Redaktorzy, Rewizorzy, Administratorzy 117 797 edycji źródła/przypisy następna edycja →
Linia 13: == Wersja ogólna == Dla dowolnego zbioru ''Au'' istnieje taki zbiór ''By'', że dla dowolnego zbioru ''Cx'', ''C'' jest elementem ''B'' wtedy i tylko wtedy, gdy istnieje zbiór ''D'' będący elementem ''A'' i którego elementem jest ''C''. Formalnie: :<math> \forall A \exist B \forall C (C\in B \iff \exist D (C\in D\in A))</math> Linia 19: Aksjomat sumy można też wypowiedzieć następująco: dla dowolnego zbioru ''A'' istnieje taki zbiór, którego elementami są elementy elementów zbioru A i tylko one. {{Przypisy}} ==Bibliografia== * {{Cytuj książkę \| nazwisko = Indrzejczak \| imię = Andrzej \| tytuł = Metody logiki. Dedukcja \| wydawca = Wydawnictwo Uniwersytetu Łódzkiego \| miejsce = Łódź \| data = 2016 \| isbn = 978-83-8088-359-8 \| nazwisko2 = Nowak \| imię2 = Marek \| rozdział = Dowodzenie w arytmetyce liczb naturalnych i teorii zbiorów \| imię r = Marek \| nazwisko r = Nowak \| autor link2 = Marek Nowak (logik) \|odn=tak}} [[Kategoria:Aksjomaty Zermela-Fraenkla\|Sumy]]

Aksjomat sumy: Różnice pomiędzy wersjami