Text this: Geometrías pura y aplicada desde el enfoque sintáctico-axiomático de las teorías.