формалізація
формаліза́ція
(від лат. formalis – складений за формою)
в математичній логіці – метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень – відповідними їм послідовностями символів або формулами.
Словник іншомовних слів за редакцією О.С. Мельничука