Определение аксиоматическое (axiomatic definition) — неявное определение некоторого понятия (константы, величины или операции); в этом определении исходные объекты определяются с помощью аксиом.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]