For every number and every formula , where is a free variable, we define , a relation between two numbers and , such that it corresponds to the statement " is not the Gödel number of a proof of ". Here, can be understood as with its own Gödel number as its argument.
