PanLinx
English
eng-000
redundant axiom
普通话
cmn-000
冗余公理
PanLex