Primera parte del tomo II (Algebra II), continuación del libro "Lenguaje Matemático" (Álgebra I). La base del libro es la relación de orden mediante la que se construyen los números naturales, así como la contrucción de un algoritmo sobre cualquier conjunto finito, que nos conduce a una moderna lógica polivalente.