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