高階述語論理
Higher-order logic
なんでもかんでも
量化
しておｋなやつ
λ-h.o.l
型理論
や
圏論
にも密接っぽいがなんもわかっていない
mrsekut.icon
https://ja.wikipedia.org/wiki/高階述語論理
https://www.practmath.com/predicate-logic/#second-order