PanLinx
普通话
cmn-000
递减归纳
English
eng-000
descending induction
PanLex