Couvre les opérations et les relations d'équivalence en théorie des nombres, y compris l'addition, la soustraction, la multiplication, la division et les propriétés des éléments neutres et inverses.
Introduit des principes et des applications d'induction mathématique, y compris les inégalités, la divisibilité, les sous-ensembles et l'induction forte.
