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