first-order logic: Mathematics/logic term for system of statements that are formally defined and can be evaluated to true/false (also known as Predicate logic) </>