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

impredicative set theory
.מַדָע	非直谓集合论