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