PanLinx
普通话
cmn-000
归纳证明法
English
eng-000
inductive proof method
PanLex