De la abstracción simbólica a la fundamentación de la matemática: hacia una historia de los sistemas formales axiomatizados