数学の真偽に擁護は無意味