Couvre l'abstraction de données en nombres rationnels, y compris la vue du client, l'auto-référence, les conditions préalables, les assertions, les constructeurs et les marqueurs de fin.
Couvre les chaînes, les ensembles dénombrables, la cardinalité et le concept de dénombrabilité, explorant la dénombrabilité de divers ensembles et la diagonalisation de Cantor.
Couvre les concepts de base des nombres rationnels et des opérations algébriques, y compris l'addition, la soustraction, la multiplication et la division.
Couvre la structure et les propriétés des nombres réels, y compris l'introduction au système axiomatique et les implications de la propriété Archimède.