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:
{{Definicja3|<math> (\forall forall_{X,Y\in \mathcal{A}}) \left((X \neq\emptyset)\wedge((X\neq Y)\Rightarrow(X\cap Y=\emptyset))\Rightarrow(\exists Bexists_B)(\forall forall_{X\in\mathcal{A}})(\exists exists_{x})(\forall yforall_y)((y\in B\cap X) \equiv (y=x))\right) </math>}}
 
==Bibliografia==