- a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas.
- a rule or law, especially one expressed by an equation or formula.
- a proposition that can be deduced from the premises or assumptions of a system.
- an idea, belief, method, or statement generally accepted as true or worthwhile without proof.
- a statement or formula that can be deduced from the axioms of a formal system by means of its rules of inference
