ゲーデル数を割り当てることを形式化とは言わんだろ
コード化・形式化ってひとくくりにしないでよ