Couvre les fonctions, les entiers, le GCD et le raisonnement par récurrence, y compris l'algorithme euclidien et le principe d'induction.
Couvre les entiers, les anneaux, les sous-anneaux, l'inversibilité, les diviseurs de zéro et les relations d'équivalence dans les fractions formelles.
Couvre les propriétés de la division en entiers et la relation entre la divisibilité et les quotients uniques.
Couvre les propriétés de base des nombres naturels, y compris les relations d'ordre et les inverses.
Couvre les concepts fondamentaux liés aux entiers, y compris les propriétés des ensembles bien ordonnés et le principe d'induction.
