TNT

具体例から始める：記号の世界に数を住まわせる

「∀a:(0+a)=a」というような記号の列を見て、何かを感じるだろうか。これはGEBでホフスタッターが使う形式体系TNT（タイポグラフィカル・ナンバー・セオリー, Typographical Number Theory）の命題の一例だ。「全ての数aに対して、0にaを足したものはaに等しい」という算術の自明な事実を、純粋な記号の操作として表現したものだ。

TNTとは何か

TNTは自然数の算術を公理化した形式体系である。ホフスタッターがGEBで発明・紹介した教育的な体系であり、ペアノ算術（PA）に相当する。TNTの構成要素は：

記号集合: 変数（a, b, c...）、定数（0）、演算子（+, ×）、後者記号（S：Sxは「xの後者」つまりx+1）、論理記号（∀, ∃, ∧, ∨, ¬, ⊃）、括弧

公理: 加算・乗算・順序についての基本的な算術の真理を記述した5つの公理

推論規則: モーダスポネンス、普遍例化、存在例化など

この体系でどのような命題が「証明可能」かを研究することで、形式体系の能力と限界が明確になる。

抽象化：なぜTNTが重要か

TNTがGEBにおける中心的な舞台となった理由は、算術体系がゲーデル数の仕組みを受け入れるために必要な表現力を持つからだ。

TNTはペアノの公理体系に対応しており、それは次を含意する：十分に複雑な算術的主張を表現できる体系は、自己言及的な命題を構成する能力を持つ。そしてそのような命題は体系の中では決定不能（証明も反証もできない）になる。

この「十分に表現力の高い算術体系は不完全である」というゲーデルの洞察を示すための具体的な舞台としてTNTは機能する。

理論的意義：形式が意味を生む瞬間

TNTにおいて興味深い哲学的問いが生まれる。「∀a:(0+a)=a」という記号列は、記号としては「形式」だけを持つ。しかし私たちはこれを読んで「全ての数に対して0を足しても変わらない」という「意味」を理解する。

意味と形式の問いがここに現れる。形式体系は意味を持つか。ホフスタッターの立場は、形式体系は直接には意味を持たないが、体系の外部にいる「観察者」がその記号に意味を付与することができる（これをホフスタッターは「等距離から見る」と呼ぶ）という微妙な立場だ。

タイプとトークンの区別でいえば、「∀a:(0+a)=a」という記号列のトークン（具体的な記述）は黒いインクの痕跡だが、そのタイプ（意味するパターン）は算術の真理を指示する。形式体系は記号のタイプとトークンの関係を操作するが、タイプが持つ「意味」は体系の外から来る。

批判と限界

TNTはあくまで教育的・説明的な体系であり、実際の数学的実践に使われているわけではない。現代の数学基礎論ではZFC（ツェルメロ＝フレンケル集合論＋選択公理）などが標準的に使われる。

また TNT を含む算術体系全般の限界として、ゲーデルの不完全性定理が示した通り、真の算術命題の全てを証明することはできない。自然数に関する「全ての真理」を体系化しようという試みは原理的に不可能だ。

まとめ

TNTは「形式体系で数学は何ができるか」を具体的に示す教育的道具だ。再帰・奇妙な環・不完全性定理という抽象的な概念を、具体的な記号操作のレベルで理解するための足場となる。形式記号が持てる力の壮大さと、その限界の鮮明さを同時に示す体系として、TNTはGEBの中核に位置する。