Alberga la esperanza de, en un tiempo finito determinado, obtener una comprensión adecuada, sin excesivas contradicciones y de una manera decisiva y plena, de los teoremas de Gödel.