哲学者は普遍的な真理を求める 数学者は数で遊べる真理を求める