Sistemas formales de Post Roberto Moriyón. Sistemas Formales de Post Los introdujo Emile Post en la década de 1920 para estudiar propiedades de las funciones.