formal system in Russian
formal system in Russian
формальная систе́ма
(logic) The grouping of a formal language and a set of inference rules and/or axioms.