7-letter word for a formula in mathematics deduced from other propositions
[DOC] [TLE] Glossary of Mathematical Terms - The Story of Mathematics [PAR] algebraic equation: a combination of numbers and letters equivalent to a 
sentence in language ... axiom: a proposition that is not actually proved or 
demonstrated, but is ... for deducing and inferring other truths and theorems, 
without any need of proof ... expression or equation with just two terms, e.g.