PanLinx
普通话
cmn-000
模型的数学完备性
English
eng-000
mathematical completeness of model
PanLex
