PanLinx: аксиоматическое определение

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

English	eng-000	axiomatic definition
English	eng-000	axiomatic specification

PanLex-PanLinx