The student is introduced to logic and mathematical proofs, with emphasis placed more on proving general theorems than on performing calculations. This is because a result which can be applied to many different cases is clearly more powerful than a calculation that deals only with a single specific case.
The language and structure of mathematical proofs will be explained, highlighting how logic can be used to express mathematical arguments in a concise and rigorous manner. These ideas will then be applied to the study of number theory, establishing several fundamental results such as Bezout’s Theorem on highest common factors and the Fundamental Theorem of Arithmetic on prime factorisations.
The concept of congruence of integers is introduced to students and they study the idea that a highest common factor can be generalised from the integers to polynomials.