PanLinx
English
eng-000
axiomatic development
普通话
cmn-000
公理化发展
русский
rus-000
аксиоматический вывод
PanLex