En un trabajo publicado en 1957 en "Journal of Symbolic Logic", Raymond Smullyan mostró que los resultados de incompletitud de Gödel pueden obtenerse para sistemas mucho más elementales que los considerados por Gödel.