Определение аксиоматическое
Определение аксиоматическое (axiomatic definition) — неявное определение некоторого понятия (константы, величины или операции); в этом определении исходные объекты определяются с помощью аксиом. [Словарь понятий по информатике