PanLinx
普通话
cmn-000
超穷归纳法
English
eng-000
transfinite induction
PanLex
