Logika i teoria mnogości/Aksjomat wyboru: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
Fttrobin (dyskusja | edycje)
Fttrobin (dyskusja | edycje)
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)\vedgewedge((X\neq Y)\Rightarrow(X\cap Y=\emptyset))\Rightarrow\exsist B\forall X\in\mathcall{A}\exsist x\forall y((y\in B\cap X) \equiv (y=x))\right) </math>
 
==Bibliografia==