「こういう公理の方が自然だ」「いやそれは不自然でこっちの方が」って議論が数学じゃないのは当然だろ!何をいまさらw