Naivní teorie mnozin. Axiomatizace ZF a GB.
Axiom výběru. Axiom fundovanosti.
Ordinální a kardinální čísla a jejich aritmetika. Filtry a ultrafiltry.
Kombinatorické vlastnosti. Stacionární množiny a club filtr.
Velké kardinály.