どうでも良くはないだろ
幾つもある同値な実数の公理でアルキメデスの公理を内包する物としない物がある
この差は大きい