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

quantifiers elimination theorem מתח
.מָתֵי	теорема об элиминации кванторов