Cílem je získání základů logické a množinové výstavby matematiky – množiny, relace, zobrazení, základy algebraických struktur, základní vlastnosti číselných oborů.