there is no requirement that interprets the number passed to it as a goedel number for example if you take x as a formula that says x is even the corresponding will be a sentence such t proves that is true if and only if the goedel number of is even carl talk