PanLinx
русский
rus-000
аксиоматизированная теория
English
eng-000
axiomatized theory
PanLex