Logički zaključuje i primjenjuje matematički dokaz kao ključne matematičke aspekte.