Expresión algebraica del sistema axiomático de la geometría plana