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