>>197
https://en.m.wikipedia.org/wiki/First-order_logic
のformulasの項