>>292
何か勘違いしてるようだな
群は実例が先にあって公理は後からつけたもの（群に限らないが）。