An Etymological Dictionary of Astronomy and Astrophysics

A → proposition, → statement, or → formula in → mathematics or → logic deduced from → axioms, other propositions, → assumptions, → premises, or formulas. Theorems are statements which can be proved. For example, → Fourier theorem; → Liouville’s theorem; → Woltjer’s theorem.

Etymology (EN): From M.Fr. théorème, from L.L. theorema, from Gk. theorema “spectacle, speculation,” in Euclid “proposition to be proved,” from theorein “to look at, speculate, consider.”

Etymology (PE): Farbin, from far- intensive prefix “much, abundant; elegantly; forward” (Mid.Pers. fra- “forward, before; much; around;”
O.Pers. fra- “forward, forth;” Av. frā, fərā-, fra- “forward, forth; excessive;” cf. Skt. prá- “before; forward, in front;” Gk. pro “before, in front of;” L. pro “on behalf of, in place of, before, for;” PIE *pro-)

• bin, present stem of didan “to see,” from
  Mid.Pers. wyn-; O.Pers. vain- “to see;” Av. vaēn- “to see;”
  cf. Skt. veda “I know;” Gk. oida “I know,” idein “to see;” L. videre “to see;” PIE base *weid- “to know, to see.”