Aksjomat sumy: Różnice pomiędzy wersjami

Analogicznie jak dla 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|rodziny]]) A i oznaczamy <math>\bigcup A</math>.

Aksjomat sumy można też wypowiedzieć w następujący sposób: dla dowolnego zbioru A istnieje taki zbiór, którego elementami są elementy elementów zbioru A i tylko one.