>>433
(引用開始)
正しくは
「ゲーデルの加速定理は
　弱い形式的体系では非常に長い形式的証明しか存在しないが、
　より強い形式的体系では極めて短い形式的証明が存在する、
　というような文が存在する、というものである」
形式的体系の強弱は、階の違いによるものだけではない
(引用終り)

全く同じだよ
強い形式的体系の例として、高階論理がある
”n階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在する”
圏論は高階論理を含んでいるし
層は圏論の中だと

厳密な数学的議論ではないが

・筆算 （おっちゃん）（＾＾
　↓
・ソロバン
　↓
・電卓
　↓
・アセンブラ
　↓
・C
　↓
・エクセル （おれスレ主）（＾＾

まあ、こんな感じじゃね？
高階へ行くと楽だねと（＾＾
楽なかわりに、見えなくなる面もあるけどね