一階述語論理
個体の量化のみを許す述語論理
二階述語論理では、個体に加えて**述語や関数（性質・関係）**そのものにも量化ができます。
つまり、「述語についての述語」を扱える