Každý si vylosoval pětici otázek, která obsahuje dvě definice/axiomy, dvě lehčí tvrzení a jednu těžší větu. Moje pětice:
Axiom sumy (formulí i slovně)
Axiom nekonečna (formulí i slovně)
Definujte konečnou množinu a dedekindovsky konečnou množinu. Ukažte, že každá konečná množina je dedekindovsky konečná.
Dokažte ekvivalenci axiomu výběru, principu výběru a tvrzení, že kartézský součin neprázdného počtu neprázdných množin je neprázdný.
Dokažte, že zobrazení z vlastní třídy do neprázdné třídy nemůže být množina. Dokažte, že pokud x je množina a Y třída, třída všech zobrazení z x do Y je množina právě tehdy, když Y je množina.