Métodos de demostración

La literatura llama axiomatización descriptiva a una axiomatización diseñada para poner estructura lógica a un conjunto de hechos o datos. Estos hechos pueden ser, por ejemplo, las verdades de la aritmética, de la geometría o de algún otro campo de las matemáticas; o pueden ser las verdades de todas las matemáticas; o de una ciencia no matemática, como la física o la economía, o de uno o varios de sus subcampos.