logički zaključuje i primjenjuje matematički dokaz kao ključni matematički aspekt