Correct formal system

корректная формальная система

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