Esses dias dei uma lida sobre os teoremas da incompletude de Gödel. Se eu entendi bem, dado o segundo teorema, não é possível provar se a matemática é consistente (por consequencia boa parte da [ou toda a] ciência). Você tem fé que a matemática é consistente?

Os teoremas de Gödel não se referem à matemática e sim à aritmética, que é uma parte dela. E não se referem às demais ciências no que elas não dependem da aritmética. Considerar que a aritmética seja ou não consistente não é uma questão de fé e sim de verificação. Se se aceitar os axiomas em que ela é baseada, ela é consistente. Só que eles não podem ser provados, o que não contraria os teoremas de Gödel.