generated at
二階述語論理
second-order predicate logic
個体変数に加え、関数と述語の量化を許す

https://www.practmath.com/predicate-logic/#second-order
https://ja.wikipedia.org/wiki/二階述語論理