n. 1. a statement or formula that can be deduced from the axioms of a formal system by means of recursive application of its rules of inference. In a system of natural deduction it is a sequent that relies on no assumptions. 2. less formally, a proposition derived from previously accepted results in some fragment of mathematics that may not be fully axiomatized.