>>340
>>>274
>>>n階算術の体系で証明可能な命題であって、
>>>n+1階算術ではより短い証明を持つものが存在する
>> n階算術の体系の証明可能な命題の証明の長さは
>> n→∞のとき有界であるとは思えない。
>ω階算術も形式的体系だから
>そんなことが可能なら
>ゲーデルの不完全性定理が否定される

そのn階算術の体系の証明可能な命題の
証明の長さの最小値は
n→∞のとき有界であるとは思えない。