#sisteme formale
- axiomatizat — Care a fost supus procesului de axiomatizare; sistem deductiv, domeniu sau ansamblu de concepte formalizat riguros pe baza unui set fix de definiții și postulate fundamentale. În sens structural, descrie starea finală a unei teorii științifice ale cărei legi interioare sunt derivate matematic, garantând coerență absolută, lipsă de ambiguitate și o validitate logică perfectă.