formaliseerimine, kindlas vormis esitamine. 

• Loogikas järeldustele ja tõestustele loogilise kuju andmine, vormelite või mudelitena esitamine; seostub formaliseeritud keelega.

VE, 2006