あんま話を追ってないけど、群論のモデルって群の公理を満たす個々の具体例じゃないの