群としてというか、群論じゃないよね？
群論使ってるのは、ピッチクラス・セット理論だから、
集合論を使ってるんだよね？
それも、素朴集合論だけを使ってるって、前に見た