Oi Samuel, O fato de o Segundo Teorema de Incompletude ser consequência imediata do Primeiro é, sim, bem conhecido por aí...
Abs Walter > Em 16 de jun de 2016, às 00:04, 'Samuel Gomes' via LOGICA-L > <[email protected]> escreveu: > > Esse aspecto do Segundo Teorema de Incompletude ser consequência imediata (da > demonstração) do > Primeiro não é muito comentada por aí... -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1EA28977-DC35-41EA-A679-7E5F5C51BD5C%40gmail.com.
