PanLinx
普通话
cmn-000
完备公理系统
English
eng-000
complete axiom system
PanLex