>>430
>ゲーデルの加速定理
>　↓
>それはn階算術の体系で証明可能な命題であって
>n+1階算術ではより短い証明を持つものが存在する
>というものである。

誤り

正しくは
「ゲーデルの加速定理は
　弱い形式的体系では非常に長い形式的証明しか存在しないが、
　より強い形式的体系では極めて短い形式的証明が存在する、
　というような文が存在する、というものである」

形式的体系の強弱は、階の違いによるものだけではない

馬鹿は日本語が正しく読めない
数学以前の問題