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