Grčki alfabet Matematička indukcija [UML i DS1] Iskazna logika [UML i DS1] Skupovi [UML i DS1] Binarne relacije [UML i DS1] Funkcije [UML i DS1] Poređenje kardinalnosti [UML i DS1] Elementarna aritmetika [DS1]