CPT :  Muito grato por suas respostas, bem útil para entender melhor o trabalho de Gödel e a importância do Dia Mundial da Lógica!