英语 ⇄ 俄语 +

formal system of axioms and inference rules 强调
编程	формальная система аксиом и правил вывода (ssn)