Aksjomat sumy: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Szczepan.bot (dyskusja | edycje)
Linia 4:
 
 
Dla dowolnych dwóch zbiorów A,B istnieje zbiór, którego elementami są wszystkie elementy zbioru A i wszystkie elementy zbioru B, i który nie zawiera żadnych innych elementów. Formalnie można to zapisać następująco:
:<math>\forall A \forall B \exist C \forall x (x\in A \or x\in B \iff x\in C)</math>