Os estudos realizados por David Hilbert e seus discípulos sobre a escola formalista na pretensão de obter inferências legítimas de um sistema forma...

Os estudos realizados por David Hilbert e seus discípulos sobre a escola formalista na pretensão de obter inferências legítimas de um sistema formal completo e consistente, ao descobrir novas teorias também se obtinham na mesma velocidade embates nas academias frente as teorias alçadas pelos estudiosos. Portanto, não passando ilesa a esse embate a escola formalista não se sustentou. Mediante esse cenário avalie as afirmativas abaixo que contextualizam o motivo da escola formalista não ter se sustentado. Com base nesta informação analise as asserções abaixo: I. Coube a Kurt Gödel, o papel de algoz de Hilbert, quando “[...] provou a impossibilidade de demonstrar a compatibilidade dos axiomas da Aritmética dentro de um sistema que inclua a Aritmética” PORQUE II. Não é possível provar a consistência da Matemática dentro da própria Matemática”. A respeito dessas asserções, assinale a opção correta: a. A asserção I é uma proposição verdadeira e a II é uma proposição falsa. b. A asserção I é uma proposição falsa e a II é uma proposição verdadeira. c. As asserções I e II são proposições falsas. d. As asserções I e II são proposições verdadeiras e a II é uma justificativa correta da I. e. As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa correta da I.