Explique os Teoremas da Incompletude de Gödel e suas consequências profundas para a fundamentação da matemática. Discuta a distinção entre verdade e demonstrabilidade dentro de sistemas formais complexos. Analise o que esses teoremas implicam sobre os limites do conhecimento humano e a possibilidade de criar um sistema axiomático completo e consistente para toda a matemática.