Es decir, existen una serie de relaciones y funciones aritméticas que se corresponden con las reglas sintácticas y del cálculo deductivo, como por ejemplo: