- 675 名前：STS446 [2012/09/06(木) 08:13:42.50 ]
- 2階算術なんかは本来は2階の言語とかではなく
Γ^1_n級とかいう。（ΓはΣやΠやΔの一般化）
3階算術ならΓ^2_n級、ｎ階算術についてΓ^(ｎ-1)_n級になる。
例えば2階算術で有名なBig Fiveは、
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^1_0-内包公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Π^1_1-内包公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^0_1-分離公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^1_1-分離公理
ほら、かなり人工的だろ？
公理の重複を許して同値な体系に置き換えてみるともっとよくわかる。
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^1_0-内包公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^1_0-内包公理＋Π^1_1-内包公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^0_1-分離公理
Q＋Σ^0_1-帰納法＋Δ^0_1-内包公理＋Σ^0_1-分離公理＋Σ^1_1-分離公理
ほら人工的だろ？
ちなみに
Q＋Σ^0_n-帰納法
だけなら限定算術のIΣ^0_nになる。
帰納法は厳密には4種類あって、BΣ^0_nなどになったりする。
|
 |
