Descreva, de forma conceitual, os Teoremas da Incompletude de Kurt Gödel. Explique por que esses teoremas demonstram que, em qualquer sistema axiomático consistente capaz de expressar aritmética básica, existem proposições que não podem ser provadas nem refutadas dentro do próprio sistema. Discuta as consequências filosóficas disso para a busca por uma verdade matemática absoluta e para o formalismo em geral.