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