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

deductively consistent set מתח
.טֶכנו	дедуктивно совместное множество; дедуктивно непротиворечивое множество
.מָתֵי	дедуктивно совместное множество (дедуктивно непротиворечивое)