注意

• 安全性≠具体性であることに注意

• ゲーデルは不完全性定理を数学の階層性の証ととらえており、不完全性が型理論の正しさを示すとさえ言っている。(全集ＩＩＩ, 1933o)

• この立場からすれば、矛盾性証明は階層の尺度と化す。

• つまり、ある具体的な方法Ｍで、原理Ｐの無矛盾性が証明できても、それはその方法の安全性が、Ｐと同じレベルまで引き下げられるということになる。

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示