first-order logic

collection of formal systems used in mathematics, philosophy, linguistics, and computer science