Mathematics requires abstractions. It is a discipline in which the learners learn to generalise, formulate and prove statements based on logic.