first order logic

抱歉，条目 first order logic 还未被 LUMA 收录。