Logika i teoria mnogości/Aksjomat wyboru: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Linia 5:
{{Definicja|Dla każdej rodziny zbiorów <math>\mathcal{A} = \{A_t\}_{t\in T}</math> parami rozlącznych i niepustych, istnieje zbiór S, który ma przekrój jednoelementowy z każdym ze zbiorów <math>A_t</math>}}
Kwantyfikatorowo:
<math> \forall X,Y\in \mathcal{A} \left((X \neq\emptyset)\wedge((X\neq Y)\Rightarrow(X\cap Y=\emptyset))\Rightarrow\exists B\forall X\in\
==Bibliografia==
|