ZFC（ツェルメロ＝フレンケルの集合論）は、数学の基礎を形式的に定義する体系であり、初期の記号体系には変数記号と論理記号が含まれます。関数や加法、実数といった概念を扱う際には、まずZFC上でそれらの存在を示した上で、新しい記号を導入することがよく行われます。本記事では、その記号導入と分類の仕組みについて解説します。
ZFCにおける初期記号の種類
ZFCでは、基本的に使用される記号は変数記号と論理記号（¬, →, ∀, =, ∈）です。これらの記号だけで集合や関係、関数などを形式的に表現できます。
初期のZFCの記号は、関数記号や定数記号を含まないため、全ての概念は集合論の枠組みで定義する必要があります。
新しい記号の導入方法
関数f、加法+、実数Rなどは、まずZFC上で存在を定義してから、便宜的に新しい記号を導入します。これは定義記号として扱われ、既存のZFCの公理体系を拡張するものではありません。
例えば、整数の加法は集合として定義したうえで、操作を簡単に表すために「+」という記号を導入します。記号の導入は形式的には定義拡張であり、論理的に矛盾を生じません。
導入された記号の分類
新しく導入される記号は、関数記号や定数記号として分類されることがあります。これはZFCの初期記号には含まれていない種類の記号です。ただし、これらは純粋に定義による拡張であり、公理体系そのものの変更を伴うものではありません。
例えばf(x)=x^2のような関数記号、0や1のような定数記号、Rのような集合を表す定数記号は、すべて便宜上導入されるもので、既存のZFCの論理記号とは別のカテゴリとして扱えます。
具体例：実数の定義と記号化
ZFC上で実数Rを定義する際には、まず有理数の集合や順序体としての構造を集合論的に構成します。その後、定義によってRという記号を導入し、以降の議論ではRを直接使うことができます。
同様に、加法+も集合論的に定義された関係に対応させ、便宜上「+」という記号を使用します。これにより、論理記号のみで書くよりも読みやすく、操作が直感的になります。
まとめ
ZFCでは初期の記号体系だけで関数や加法、実数を形式的に定義できますが、便宜上、新しい関数記号や定数記号を導入することがあります。これらは定義による拡張であり、初期のZFCでは使わなかった記号の種類として分類されることが可能です。形式的にはZFCの論理や公理体系に矛盾を生じさせない方法で拡張されるため、論理学的にも整合性が保たれます。
コメント