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

effective descriptive set theory
.טֶכנו	有效描述集合论