というか、そうやって公理を決めていくのが数学の大切な活動のひとつ