PanLinx
普通话
cmn-000
第一可数性公理
PanLex
