二階述語論理
second-order predicate logic
個体変数
に加え、関数と述語の量化を許す
https://www.practmath.com/predicate-logic/#second-order
https://ja.wikipedia.org/wiki/二階述語論理