Boolos fue uno de los primeros pioneros, y escribió el primer análisis sobre el mismo en un libro llamado, "La in-demostrabilidad de la consistencia", publicado en 1979.