関数を集合で形式化するってのは、関数とは何かを定義すること
すなわち、これこれを満たす集合のことを関数と呼ぶ
論理式φをコード化するってのは、あらかじめ決めた関数、例えばゲーデル数を計算する関数g : Fml → ℕ をφに適用してg(φ)を求めること
何から何まで全然違う