やっぱりこういう議論を見てると、数学者は哲学者に近いと思うな。