結果 : define quantifiers in first order logic