이제 거꾸로 어떤 수가 주어지면 우리는 그 수가 괴델 수인지 아닌지 결정할 수 있고, 또 만일 그 수가 괴델 수라면 그 수와 대응하는 표현을 정확하게 되짚어 확인할 수 있다.
Once a number is given, we can determine whether it is a Gödel number, and if it is, the precise expression that it represents can be retrieved from it.