( n. )
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.
( n. )
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.
Webster's Revised Unabridged English Dictionary. Пересмотренный полный словарь английского языка Webster. 2012