完善词条「first order logic」