Logika i teoria mnogości/Aksjomat wyboru: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Linia 7:
{{Definicja3|<math> (\forall_{X,Y\in \mathcal{A}}) \left((X \neq\emptyset)\wedge((X\neq Y)\Rightarrow(X\cap Y=\emptyset))\Rightarrow(\exists_S)(\forall_{X\in\mathcal{A}})(\exists_{x})(\forall_y)((y\in S\cap X) \equiv (y=x))\right) </math>}}
=== Sformułowania i twierdzenia równoważne ===
{{Definicja3|Dla każdej rodziny <math>\{U_{s}\}_{s\in S}</math> zbiorów niepustych istnieje funkcja f określona na zbiorze S taka, że dla każdego <math>s\in S: \ f(s)\in A_{s}</math>}}
==Bibliografia==
|