אנגלית ⇄ רוסית +

formal system of axioms and inference rules מתח
.תִכנו	формальная система аксиом и правил вывода (ssn)