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|'''Twierdzenie Zermeli''' (o dobrym uporządkowaniu). Dla każdego zbioru A istnieje relacja < dobrze porządkująca zbiór A}}