抽象代数における公理体系の構築