PanLinx
English
eng-000
substitution axiom
普通话
cmn-000
替换公理
русский
rus-000
аксиома подстановки
PanLex