Aksjomat sumy, aksjomat pary a definicja sumy zbiorów takidrugi: Czy Aksjomat Sumy można przedstawić za pomocą definicji sumy zbiorów? Tzn: Sumą A i B nazywamy taki zbiór C, że dla dowolnego C mamy: (x∊C) ⇔ ( (x∊ A) ∨ (x∊ B) ) Z tego co rozumiem aksjomat sumy mówi również o sumie jednego zbioru, zatem podana powyższa definicja jest "uboższa" od aksjomatu sumy? 2 sprawa: dobrze rozumiem, że aksjomat pary mówi o zbiorze, który jest sumą dwóch elementów i tym się różni od aksjomatu sumy, że tam mówimy o zbiorze dwóch zbiorów?

takidrugi: Innymi słowy staram się znaleźć zależność między definicją sumy a aksjomatem sumy (a także ogólniej definicjami działań na zbiorach do aksjomatów − jak one są ze sobą powiązane). Druga sprawa to jaka jest różnica między aksjomatem pary a aksjomatem sumy i czy nie dało się je scalić w jeden ogólny aksjomat?

takidrugi: Ponawiam pytanie