Формализа́ция — вид реализации какого-либо содержания посредством исчисления или формальной системы. Формализация базируется на определенных абстракциях, искусственных символических языках, идеализациях. Находит широкое применение в математике и смежных с ней науках. Формализация предполагает усиление роли формальной логики в качестве основания теоретических наук.