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

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

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

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

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