PanLinx
普通话
cmn-000
有限数学归纳法
English
eng-000
finite induction
PanLex
