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

model extension theorem מתח
.מָתֵי	теорема о расширении модели