Explain the theoretical implications of Gödel's First Incompleteness Theorem, which states that in any consistent formal system that is powerful enough to express basic arithmetic, there are statements that are true but cannot be proven within the system. Discuss how this theorem shattered the Hilbert Program's dream of a complete and consistent mathematics, and analyze its philosophical impact on the nature of truth and knowledge.