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