To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
Për ta provuar këtë teoremë Gödel zhvilloi një teknikë që njihet si Gödel numbering, nëpërmjet së cilës shprehjet formale mund te kodohen si numra natyrorë.