二级谓词逻辑

second order predicate logic