Otwórz menu główne

Zmiany

Rozmiar się nie zmienił, 3 lata temu
m
drobne merytoryczne
: przy czym: <math>\exist! y\; w(y) \Leftrightarrow ((\exist y)(\forall x)\; \left(w(x) \Leftrightarrow x = y\right))</math>
 
: Za pomocą pozostałych aksjomatów można udowodnić równoważność tego aksjomatu z [[lemat Kuratowskiego-Zorna|lematem Kuratowskiego-Zorna]] oraz twierdzeniem, że w każdym zbiorze istnieje relacja [[dobry porządek|dobrego porządku]], a także z aksjomatem multiplikacji głoszącym, że dla dowolnej [[rodzina indeksowana|indeksowanej rodziny]] niepustych zbiorów <math>\langle a_i\colon i \in iI \rangle</math> istnieje funkcja wyboru
:: <math>\ (f:iI\rightarrow \bigcup_{i\in iI} a_i)</math> taka, że:
::: <math>f(i)\in a_i</math> dla wszystkich <math> i\in iI</math>.
 
== Bibliografia ==
141

edycji