>>752
形式化とは？
数学における形式化（Formalization）とは、数学的な主張や証明を、自然言語（日本語や英語など）の曖昧さを排除し、厳密に定義された記号と言語ルール（形式言語）のみで記述することを指します。

コード化とは？
数学や情報科学の文脈におけるコード化（Encoding / 符号化）とは、ある対象（数、文字、論理式、あるいは複雑な数学的構造など）を、コンピュータや特定の論理系で扱いやすい別の形式（数値や記号の列）に置き換えることを指します。
先ほどの「形式化」が「言葉のルールを厳密にする」という抽象的な作業であるのに対し、コード化はその形式化された内容を実際に「データ」として落とし込む、より具体的な作業と言えます。

集合論におけるコード化は？
集合論におけるコード化（Encoding）は、複雑な数学的構造（グラフ、関数、実数、さらには論理式など）を、「集合」という単一の道具だけで表現することを指します。
純粋な集合論の世界には「数字の1」も「関数の矢印」も最初からは存在しません。すべてを「空集合 {}」の組み合わせだけで作り上げる作業がコード化です。

ソースはAI