Giuseppe Peano｜ペアノ公理
Giuseppe Peano（ジュゼッペ・ペアノ、1858年 – 1932年）は、イタリアの数学者・論理学者であり、現代数学の形式主義・論理主義的基礎づけに大きな影響を与えた人物です。
🔹基本プロフィール
| 項目 | 内容 |
|---|---|
| 名前 | Giuseppe Peano（ジュゼッペ・ペアノ） |
| 生没 | 1858年8月27日 – 1932年4月20日 |
| 出身 | イタリア・クーネオ県 |
| 所属 | トリノ大学、トリノ陸軍士官学校 |
| 主な業績 | ペアノ公理、形式論理、数理言語（ラティン語の数学化）、集合論の先駆的研究 |
🔹主な業績とその意義
1. ペアノ公理（Peano Axioms）
- 自然数の体系を形式的に定義。
- この公理系は現在の「算術（自然数論）」の基本。
- 数学的帰納法を公理として明示的に導入。
🔸例：0は自然数、任意の自然数nに対し後者S(n)も自然数、など。
2. 形式言語と論理記号の使用
- 自然言語（イタリア語やラテン語）ではなく、厳密な論理記号による記述を追求。
- これは後の一階述語論理や記号論理学の発展につながった。
3. 数理言語「ラティナ語」
- 通常のラテン語を数学記述に最適化した人工言語。
- 自らの著作『Formulario Mathematico』で使用。
- 数学を言語的にも論理的にも統一しようとした野心的プロジェクト。
4. 集合論・関数概念の厳密化
- カントールに並ぶ集合概念の整備者。
- 「関数」を「集合の対」として捉える視点を早くから提示。
🔹思想と影響
| 項目 | 内容 |
|---|---|
| 🎓 教育者として | 多くの数学者を育成。形式主義・記号論理の重要性を普及 |
| 📚 著作 | 『Formulario Mathematico』は、19世紀末の数学を記号で体系化した画期的作品 |
| 🔄 後世への影響 | ヒルベルト、ホワイトヘッド＆ラッセルの『プリンキピア・マテマティカ』などに大きな影響を与えた |
🔹豆知識
- ペアノは、形式化にこだわるあまり、学会から理解されず孤立する場面も多かった。
- しかし、現代では「形式的数学の先駆者」「コンピュータ科学の祖のひとり」ともみなされている。
- 数学の「自動証明」や「計算論的定式化」の源流に位置づけられる。
- 「数学と言語を極限まで形式化しようとした、近代論理学の先駆者」
ペアノ算術（Peano Arithmetic、略して PA）とは、自然数（0, 1, 2, 3, …）の性質を形式的に記述するための数学的公理体系です。名前の由来は、19世紀のイタリアの数学者 ジュゼッペ・ペアノ（Giuseppe Peano） によります。
🔹目的：
自然数の基本的な性質（加法・乗法・順序など）を論理的かつ形式的に定義すること。
🔹基本構成：
ペアノ算術は、次の3つの要素で構成されています：
① シンボル体系（言語）
- 定数記号：0
- 関数記号：S（後者関数）、+（加法）、×（乗法）
- 論理記号：∀（すべての）、∃（存在する）、¬（否定）、→（ならば）など
- 変数：x, y, z, …
② 公理（Peano Axioms）
典型的には以下のような 7つの公理（またはそれに準ずるもの）です：
- 0 は自然数である。
- 任意の自然数 n に対して、S(n) も自然数である。
- 0 はいかなる自然数の後者（S(n)）でもない。
- S(n) = S(m) ならば、n = m（後者関数の単射性）。
- 任意の自然数 n に対して、S(n) ≠ 0（再確認）。
- （数学的帰納法）
ある性質 P(n) について：
- P(0) が成り立つ
- 任意の n で P(n) ⇒ P(S(n)) が成り立つ
ならば、任意の自然数 n で P(n) が成り立つ。
※ 6番の帰納法の公理がペアノ算術の核です。
③ 論理的推論規則
- 一般的な一階述語論理の推論ルールを使用。
🔹特徴と限界：
| 特徴 | 内容 |
|---|---|
| ✅ 自然数の基本的性質を厳密に記述できる | 加法・乗法・順序などが定義できる |
| ✅ 数学的帰納法を含む | 無限の構造に有限の方法でアプローチ可能 |
| ⚠ ゲーデルの不完全性定理の対象 | 十分に強力なため、PAは「自分自身の無矛盾性を証明できない」 |
ペアノ算術は：
- 現代数学における「自然数の基礎」
- 数学の形式化の出発点
- ゲーデル、チューリング、ヒルベルトらの研究に多大な影響を与えた
| 体系 | 概要 | 目的 | 特徴 |
|---|---|---|---|
| PA（Peano Arithmetic） | 自然数の性質を公理的に記述 | **算術（自然数論）**の形式的記述 | 一階述語論理＋算術のみ |
| ZFC（Zermelo–Fraenkel Set Theory with Choice） | 全ての数学的対象（数、関数、空間）を集合で構成 | 数学全体の共通土台を提供 | 集合論を公理化。関数、数、論理まで含む |
✅ ZFCはPAよりも広く強力な理論です。
PAはZFCの内部で定義される理論の一つとみなされます。
🔹 論理階層の整理
ZFC（集合論）
└─ PA（自然数論）
└─ 初等算術（加減乗除・論理だけ）
- ZFC：最も強力な論理土台（集合・数・関数・空間までカバー）
- PA：自然数の範囲に限定
- 初等算術（Robinson Arithmeticなど）：さらに限定された簡易体系