A course of reasoning showing that a certain result is a necessary consequence of assumed premises; -- these premises being definitions, axioms, and previously established propositions.