代数構造:公理的定義と抽象的推論