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

set-theoretic predicate logic מתח
.מָתֵי	теоретико-множественная логика предикатов