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

predicative set theory
כלל.	断言集论
.מַדָע	直谓集合论