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