Gödel numbering
ゲーデル数化は一意ではなく、ゲーデル数を使った証明では様々な定義方法が存在する。