аксиоматическое описание

Axiomatic specification