Esto ha motivado el interés de estudiarla con un enfoque formal o axiomático, intentando encontrar estructuras matemáticas completamente rigurosas que capturen sus características principales.