аксиоматический анализ

Мат. axiomatic analysis