Axiomas de listas mas sencillos