Sobre as propostas de Gödel que abalaram as estruturas do formalismo, NÃO podemos afirmar que: Grupo de escolhas da pergunta Seu segundo teorema...

Analisando as afirmações: A) Seu segundo teorema dizia que as axiomáticas consistentes da aritmética não podiam ser demonstradas nessas mesmas axiomáticas. - Correto, Gödel demonstrou isso. B) Ele demonstrou a consistência de axiomáticas aritméticas sem o uso das teorias formalistas, pois estas eram ineficazes. - Incorreto, Gödel usou técnicas dentro do formalismo para provar seus teoremas. C) Seu primeiro teorema demonstrava que toda axiomática consistente da aritmética era incompleta. - Correto, Gödel provou a incompletude dos sistemas formais. D) O motivo dessas teorias serem desastrosas para o formalismo foi a grande importância dada pelos formalistas às provas de consistência. - Incorreto, o problema foi a própria incompletude e auto-referência dos sistemas formais. E) Ele demonstrou que para demonstrar a consistência de uma axiomática era preciso uma teoria mais forte. - Correto, Gödel mostrou que para provar a consistência de uma axiomática, era necessário um sistema mais forte que a própria axiomática. Portanto, a opção incorreta é a alternativa B) Ele demonstrou a consistência de axiomáticas aritméticas sem o uso das teorias formalistas, pois estas eram ineficazes.