>>87
>>二階論理で真なる命題のすべてを証明できるか、といえば、そんな手続きは存在しない
>だからの 圏論 2-category じゃね？

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

工学は学問ではなく宗教だというのは本当らしい（笑）
実現したいことをかなえる魔法があるはず、というのはまさに宗教
工学の新技術がそのような宗教的情熱によって見つけられているのは確かだが
つねにそのようなハッピーな結末を迎えるわけではなく
１００００のうち９９９９は実現不可能な妄想として朽ち果てる
マジメな技術者は自ら苦労してるからこのことを承知してるが
フマジメな技術者は他人の結果だけ盗むからいつまでも夢から覚めない（笑）