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