PanLinx
普通话
cmn-000
完全正规性公理
English
eng-000
complete normality axiom
PanLex
