Aksjomat sumy: Różnice pomiędzy wersjami

Dodane 15 bajtów ,  2 lata temu
m
Dodaję nagłówek przed Szablon:Przypisy
m (lit.)
m (Dodaję nagłówek przed Szablon:Przypisy)
Szczególnym wnioskiem wynikającym z tego aksjomatu jest istnienie sumy dwóch zbiorów<ref>Krzysztof Trzęsicki, [http://logika.uwb.edu.pl/KT/Elementy%20logiki%20i%20teorii%20mnogosci.pdf ''Elementy logiki i teorii mnogości''], Aksjomat 2, s. 187</ref><ref name="Urzyczyn"/> — dla danych dwóch zbiorów: <math>a</math> i <math>b</math> definiujemy <math>a\cup b := \bigcup\{a,b\}</math><ref name="Cichon"/><ref name="Urzyczyn"/><ref name="GZ">W. Guzicki, P. Zakrzewski, ''Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości'': [https://www.mimuw.edu.pl/~piotrzak/PWN-F.pdf Dodatek F: ''Aksjomaty teorii mnogości''], s. F6, Przykład F.2.(1)</ref>. Istnienie rodziny <math>\{a,b\}</math> zapewnia [[aksjomat pary]]<ref name="GZ"/>.
 
== Przypisy ==
{{Przypisy}}
 
1 043 696

edycji