Una oración de teoría de números (para nuestros propósitos) es una secuencia de los siguientes símbolos: 0y '(sucesor) - sucesor significa +1, entonces0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(suma) y *(multiplicación) = (igual a) (y )(paréntesis) el operador lógico nand( a nand bes not (a and b)) forall...