- 475 名前：１３２人目の素数さん [2019/04/11(木) 19:19:51.80 ID:Z/fJ/j1R.net]
- >>430
>ゲーデルの加速定理
> ↓
>それはn階算術の体系で証明可能な命題であって
>n+1階算術ではより短い証明を持つものが存在する
>というものである。
誤り
正しくは
「ゲーデルの加速定理は
弱い形式的体系では非常に長い形式的証明しか存在しないが、
より強い形式的体系では極めて短い形式的証明が存在する、
というような文が存在する、というものである」
形式的体系の強弱は、階の違いによるものだけではない
馬鹿は日本語が正しく読めない
数学以前の問題
