そもそも群の作用に至っては任意の集合が登場するんだから群論の展開に集合論は必須でしょ
集合？なんですかそれ？ってなっちゃうよｗ