PanLinx
русский
rus-000
аксиоматическая теория
English
eng-000
axiomatic theory
PanLex