一階述語論理
参考
https://tars0x9752.com/posts/first-order-predicate-logic-1