Correct formalization

математика корректная формализация

Англо-русский научно-технический словарь