Kurz je určený pre študentov matematických aprobácií učiteľského štúdia. Obsahovo pokrýva problematiku, ktorá sa študuje v štvrtom ročníku v predmete Teoretická aritmetika 1. Kurz pozostáva zo štyroch častí: základy z matematickej logiky ; základy teórie množín; množinový a logický model boolovskej algebry, dva princípy pre konečné množiny ; spočítateľné množiny.