>>495
だから「表面上は」って言ってるじゃん。

群論の公理自体は集合を対象としてないから、集合論と一応無関係に無矛盾性の議論はできる。
もちろん集合と切り離してどこまで議論できるかは疑問だが。