Explain Gödel's First Incompleteness Theorem in simple terms: in any consistent formal system powerful enough to describe arithmetic, there are true statements that cannot be proven within the system. Discuss the historical impact this had on Hilbert's program and the implications for the limits of human knowledge and artificial intelligence.