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

deductive abstraction מתח
.מָתֵי	дедуктивная абстракция