대수 구조: 공리적 정의와 추상적 추론