群の公理は一階で書けるからモデルは非範疇的