Es posible ir más allá, ya que es una teoría "aritmética" y se pueden «recodificar» las mencionadas operaciones mediante el lenguaje formal de , al igual que se puede hacer con otras funciones y relaciones aritméticas como por ejemplo: