>>546
>なんもわかってないのはお前
>全部一階述語論理で記述できる理論

なんもわかってないのはお前
圏論は、一階述語論理を超えている
というか、圏論やっているひとは、一階述語しばりなんて 意識していない
というか、一階だの高階だのを 意識する人少ない
おっと、Steve Awodey ”Topos Semantics for Higher-Order Modal Logic”がヒットしたぞ　；ｐ）

https://arxiv.org/abs/1403.0020
Mathematics > Logic
[Submitted on 28 Feb 2014]
Topos Semantics for Higher-Order Modal Logic
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch