7-letter word for a formula in mathematics deduced from other propositions
5 - st. letter R. 6 - st. letter E. 7 - st. letter M. [DOC] [TLE] Characterization of Truth in Mathematics - Math Forum - Ask Dr.