En matemáticas y otras ciencias naturales un proceso de axiomatización de un conjunto de hechos es un proceso por el cual se construye una estructura formal o conjunto de enunciados que capturan la estructura básica del conjunto de hechos.