Opintojakson suorittanut opiskelija tuntee joukko-opin aksioomat ja ymmärtää, miksi aksiomaattinen lähestymistapa on joukko-opissa välttämätön. Opiskelija ymmärtää, että joukkojen olemassaolo pitää perustella aksioomien avulla, ja hän osaa itse soveltaa aksioomeja tähän tarkoitukseen. Opintojakson jälkeen opiskelija hallitsee tavallisten laskutoimitusten lisäksi joukkojen yleiset yhdisteet, leikkaukset ja karteesiset tulot. Hän tuntee myös luonnollisten lukujen joukko-opillisen määritelmän, ja ymmärtää miten induktiotodistukset perustuvat siihen. Hän hallitsee kardinaalilukujen laskutoimitusten määritelmät, ja osaa todistaa niiden perusominaisuudet. Hän osaa myös käyttää transfiniittista induktiota todistusmenetelmänä.

Oheisella lomakkeella ennen opetuksen alkua.