Otázky ke zkoušce z logiky a teorie množin

  1. Množiny, výroky a výrokové funkce
  2. Zermelův-Fraenkelův axiomatický systém teorie množin
  3. Operace s množinami
    Relace
  4. Kardinální čísla
  5. Porovnávání kardinálních čísel
  6. Tarskiho definice konečné množiny
    Dedekindova definice konečné množiny
    Ekvivalence Tarskiho a Dedekindovy definice konečné množiny
  7. Model Peanovy aritmetiky množiny N0 všech nezáporných celých čísel v teorii množin
    Matematická indukce
    Aritmetika celých nezáporných čísel
  8. Spočetné množiny
    Nespočetné množiny
  9. Základní vlastnosti částečně uspořádaných a uspořádaných množin
  10. Základní vlastnosti dobře uspořádaných množin
  11. Ordinální čísla
  12. Aritmetika ordinálních čísel
  13. Transfinitní indukce
    Definice transfinitní indukcí
  14. Axiom výběru a jeho ekvivalenty