Aksjomat sumy: Różnice pomiędzy wersjami

Dodane 438 bajtów ,  3 lata temu
źródła/przypisy
m (Usunięto kategorię "Aksjomaty Zermela-Fraenkela"; Dodano kategorię "Aksjomaty Zermela-Fraenkla" za pomocą HotCat, drobne redakcyjne)
(źródła/przypisy)
 
== 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>
 
 
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]]