PanLinx
普通话
cmn-000
依超限归纳法的定义
PanLex