аксиоматическая система

Лог. axiomatic system