Eliminado panel con lista de axiomas