Complex sentence: To make this precise, however, Gödel needed to produce a method to encode (as natural numbers) statements, proofs, and the concept of provability; he did this using a process known as Gödel numbering.
Split into simpler sentences: To make this precise, however, Gödel needed to produce a method to encode statements, proofs, and the concept of provability as natural numbers. He did this using a process known as Gödel numbering.