Una aproximación a los teoremas de incompletitud de Kurt Gödel حسب Nájar Salinas, José Nicolás