 An important beginning step in the formalization of mathematics is the  formalization of arithmetic, that was first achieved by the Dedekind–-->Peano--> axiomatization. There are various ways to formalize arithmetic in CL; two representations of numbers are described in this section together with some functions on them.