Provide a rigorous explanation of Gödel's First Incompleteness Theorem. Describe the process of Gödel numbering and how it allows arithmetic statements to encode meta-mathematical statements. Explain why any consistent formal system F capable of expressing elementary arithmetic cannot prove its own consistency, and discuss the implications for the foundations of mathematics.