>>118
>圏論は、高階論理 と繋がっているんだ
「なんかわかんねーけど、二階は一階より上だ」
と思うのが愚か

こんな奴に限って
なぜ、一階論理の充足可能性問題が決定不能か
すら全く理解できない

地に足がついてない上っ面の知識なんて無駄だし無意味