ФОРМАЛІЗА́ЦІЯ, ії, ж. У математичній логіці — метод, що полягає в заміні всіх змістових термінів символами.

Словник української мови: в 11 тт. / АН УРСР. Інститут мовознавства; за ред. І. К. Білодіда. — К.: Наукова думка, 1970—1980. — Т. 10. — С. 619.