PanLinx
普通话
cmn-000
绰金公理
English
eng-000
dedekind axiom
PanLex