first-order-logic Definition Consequences of a Theory (First-Order Logic) For a theory : Here ranges over sentences. collects every sentence entailed by . Monotonicity Theorem Adding sentences grows the set of consequences: