An Etymological Dictionary of Astronomy and Astrophysics

1. According to, or following established or prescribed forms, conventions, etc.
   

2. Math., logic: Of a proof, in strict logical form with a justification for every step.
   

3. Math., logic: Of a calculation, correct in form; made with strict justification for every step; of or pertaining to manipulation of symbols without regard to their meaning.
   

4. → formal language.
   

5. → formal logic.

Etymology (EN): M.E. formal, formel, from L. formalis, from → form

• → -al.

Etymology (PE): Diseyi, desevar, from dis, → form, + adj. suffixes -i and -var.