>層→圏→トポス→高階論理→ゲーデルの加速定理

馬鹿丸出し

ゲーデルの加速定理は圏とも高階論理とも無関係

池沼か?