Estructuras algebraicas: definición axiomática y razonamiento abstracto