Uma frase da teoria dos números (para nossos propósitos) é uma sequência dos seguintes símbolos: 0e '(sucessor) - sucessor significa +1, então0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(adição) e *(multiplicação) = (igual a) (e )(parênteses) o operador lógico nand( a nand bé not (a and b)) forall (o...