# 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ě)