PanLinx: axiomatic specification

English	eng-000
axiomatic specification

русский	rus-000	аксиоматическая спецификация
русский	rus-000	аксиоматическое описание
русский	rus-000	аксиоматическое определение

PanLex-PanLinx