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

Usunięta treść Dodana treść
Fttrobin (dyskusja | edycje)
Fttrobin (dyskusja | edycje)
Linia 10:
{{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}}
 
{{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. }}
 
==Bibliografia==