1. (про теорію, систему знань) Такий, що може бути побудований або представлений у формі суворої логічної системи, що виходить із чітко сформульованих аксіом (постулатів) і правил виведення.
2. (про поняття, твердження) Такий, що може бути прийнятий за аксіому або сформульований як аксіома; такий, що піддається аксіоматизації.