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