Resumen es: Se define un metodo para axiomatizar las maquinas de Turing, mediante el cual, dada una maquina M y una entrada n, se construye una teoria en la logica c...