PanLinx
普通话
cmn-000
公理方法
English
eng-000
axiomatic approach
PanLex