Couvre les propriétés des nombres réels, en se concentrant sur l'ordre total et l'exhaustivité, y compris la propriété Archimède et les concepts de supreme et d'infimum.
Explore les méthodes de représentation d'entiers, comparant signe et grandeur avec le complément de deux, et introduit des représentations en virgule fixe et en virgule flottante.