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

method of elimination of quantifiers מתח
.מָתֵי	метод исключения кванторов