Logika i teoria mnogości/Aksjomat wyboru: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Linia 14:
{{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. }}
{{Definicja3|Dla dowolnej rodziny zbiorów niepustych, jej produkt jest zbiorem niepustym.}}
==Bibliografia==
| |||