>>295
>群論の公理付けは圏論の整備よりずっと前だろ。

だから何?
意味不明