>>52
>ゲーデルの加速定理：
>弱い形式的体系では非常に長い形式的証明しか存在しないが、
>強い形式的体系では極めて短い形式的証明が存在する、
>というような文が存在する。
>より正確にいえば、それは
>n階算術の体系で証明可能な命題であって、
>n+1階算術ではより短い証明を持つもの
>が存在するというものである
　これ自体はそりゃそうだろという感じで面白くもなんともない