Portál:Logika/Teorie množin

• Axiomy teorie množin
• Cantorova věta | Cantor-Bernsteinova věta
• Axiom výběru | Princip maximality | Princip dobrého uspořádání
• Transfinitní indukce | Fundované univerzum
• Ordinální čísla | Ordinální aritmetika
• Kardinální čísla | Kardinální aritmetika
• Hypotéza kontinua
• Regulární a singulární kardinály | Kofinalita
• Forcing