ТерминыТермины

Формализация (в математике)