二階述語論理

二階述語論理（にかいじゅつごろんり、英：second-order predicate logic, SOL)

個体の量化に加えて述語や関数の量化を許す述語論理