6.4 Lemat Kuratowskiego-Zorna...................... 72
6.5 Dobre porządki............................. 73
6.6 Ćwiczenia i zadania........................... 76
7.1 Definicje rekurencyjne......................... 78
7.2 Zbiory skończone............................ 81
7.3 Permutacje ............................... 84
7.4 Symbol Newtona............................ 84
7.5 Zasada Dirichleta............................ 85
7.6 Ćwiczenia i zadania........................... 86
8.1 Twierdzenia Cantora.......................... 91
8.2 Zbiory przeliczalne........................... 93
8.3 Zbiory mocy continuum ........................ 95
8.4 Algebra mocy.............................. 97
8.5 Funkcje obliczalne........................... 98
8.6 Ćwiczenia i zadania...........................100
9 Drzewa i Relacje Ufundowane 103
9.1 Relacje Ufundowane..........................103
9.2 Systemy Przepisujące..........................104
9.3 Drzewa.................................106
9.4 Ćwiczenia i zadania...........................109
A.l Ciała zbiorów..............................115
A.2 Ideały i filtry ..............................117
A.3 Twierdzenie o reprezentacji.......................119
A. 4 Ćwiczenia i zadania...........................120
B. l Kraty zupełne..............................123
B.2 Tablice semantyczne..........................125
B. 3 Ćwiczenia i zadania...........................128
C Aksjomaty teorii mnogości 130
C. l Aksjomaty................................130
C.2 O niesprzeczności............................133
C. 3 Zadania.................................134
D Liczby Porządkowe i Kardynalne 136
D. l Indukcja Pozaskończona........................138
D.2 Funkcja Hartogsa............................141
D.3 Liczby Kardynalne...........................143
D.4 Potęgowanie Liczb Kardynalnych ...................145
D.5 Zadania.................................148