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

=== 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>}}

 

{{Definicja3|Lemat Kuratowskiego-Zorna. Jeśli dla każdego łańcucha <math> A\subseteq X </math>, gdzie X jest zbiorem uprządkowanym, istnieje element maksymalny, to X też ma element maksymalny. }}