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

mathematic completeness of model
.טֶכנו	模型的数学完备性