組（数、数）を入力して、それが、
ある公理系の、ある証明のゲーデル数とその論理式のゲーデル数の関係になっているときに必ず１を出力するチューリング機械とかって、
そんな都合のいいもの、ほんとに作れるものですか？

掛け算・　は計算可能である。チューリング機械はこういうことになってます。
くらいまでなら、なんとなくまだ、感覚的にわかるんですが