Segundo o pensador Karl Popper, um sistema teórico pode ser dito “axiomatizado” quando um conjunto de enunciados, os axiomas, tiver sido formulado de tal forma que satisfaça a requisitos fundamentais.
Sendo assim, para que um sistema teórico seja axiomatizado, ele, necessariamente, deve
- A permitir dedução mútua entre axiomas integrantes.
- B permitir a dedução da maioria dos enunciados da teoria.
- C incluir pressupostos prescindíveis, visando expansão da teoria.
- D conter mútua contradição de maneira a permitir autoavaliação.
- E descartar qualquer axioma deduzível dos demais axiomas.