(2021-11-26) 理論の強さ

理論の強さを測る方法はいろいろあるらしい。下に行くほど詳細になるつもりで並べてある。

1. 無矛盾性
2. \( { \Sigma } _ { 1 } \)-健全性
3. \( \omega \)-無矛盾性
4. 可証全域関数の増大速度の上限
5. \( { \Pi } ^ { 0 } _ { 2 } \)-証明論的順序数
6. \( { \Pi } ^ { 1 } _ { 1 } \)-証明論的順序数

関連項目

• ユーザーブログ:Hexirp/(2021-11-05)_ラムダ計算の体系の強さ
• ユーザーブログ:Hexirp/(2022-03-06)_再・理論の強さ