>>101
>工学部卒の安直ド素人は、
>「圏論が二階論理のすべての真なる命題を見つける魔法！」
>と無闇に信じる

話は逆だよ
”二階論理”を 水に例えると こいつは いろいろ濁ったものも含んでいる
圏論で、濁ったものの 上澄みを うまく すくい あげている ってことじゃね　；ｐ）