PanLinx
русский
rus-000
аксиоматизировать
English
eng-000
axiomatize
PanLex