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

Usunięta treść Dodana treść
Fttrobin (dyskusja | edycje)
Fttrobin (dyskusja | edycje)
Linia 6:
Kwantyfikatorowo:
{{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>}}
Aksjomat wyboru zwyczajowo oznacza się skrótem AC (z ang. Axiom of Choice). Twierdzenie, których dowody będą używały pewnika wyboru będziemy oznaczali przez <math> ^{^{AC}} </math>
 
=== Sformułowania i twierdzenia równoważne ===