To prove this theorem , PERSON@1 developed a technique now known as PERSON@1 numbering , which codes formal expressions as natural numbers .

Proof To prove this theorem , PERSON@1 developed a technique now known as PERSON@1 numbering , which codes formal expressions as natural numbers .
