Covers basic properties of natural numbers, including order relations and inverses.
Covers operations and equivalence relations in number theory, including addition, subtraction, multiplication, division, and properties of neutral and inverse elements.
Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
Covers the properties of division in integers and the relationship between divisibility and unique quotients.
Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
