формалізація
формаліза́ція
-ї, ж.
Представлення якої-небудь змістовної галузі (знань) у вигляді формальної системи.
|| У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами.
Великий тлумачний словник сучасної української мови