完善词条「first-order logic」