PanLinx
普通话
cmn-000
集合的归纳定义
English
eng-000
inductive definition of sets
PanLex