PanLinx
普通话
cmn-000
数学归纳法原理
PanLex