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