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