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

deductive completeness מתח
.מָתֵי	дедуктивная полнота