Vista de la expresión correspondiente a los axiomas. Doble click en un axioma para insertarlo en el texto