Provide a rigorous theoretical explanation of Gödel's First and Second Incompleteness Theorems. Discuss how they impact the foundations of mathematics and the philosophy of formal systems. Explain the concept of 'omega-consistency