Ei ole mitään vaatimusta siitä, että ψ tulkitsee sille annetun luvun Goedelin luvuksi. Jos esimerkiksi otetaan ψ(x) kaavaksi, joka sanoo, että x on parillinen, vastaava φ on sellainen lause, että T todistaa, että φ on tosi, jos ja vain jos φ:n Goedel-luku on parillinen. - Carl ( - talk)