Zkouška Kynčl 27. 5. 2025

Kynčl nechal každého vylosovat si papírek s 5 otázkami:

• 2 axiomy / definice

• 2 lehčí příklady

• 1 těžší věta

Moje otázky:

1. Schéma axiomů nahrazení (formulí i slovně)

2. Axiom nekonečna (formulí i slovně)

3. Definice konečné množiny (Tarski), každé lineární uspořádání na konečné množině je dobré

4. Definice spočetné množiny, x, y spočetné \implies x \cup y, x \times y spočetné (použitá tvrzení formulovat)

5. Cantor-Bernsteinova věta (x \approx y) \Leftrightarrow (x \preceq y \land y \preceq x) (včetně lemma o pevném bodě)