PanLinx
русский
rus-000
стратегия аксиоматизации
English
eng-000
axiomatization policy
PanLex