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

axiomatic development מתח
.מָתֵי	аксиоматический вывод