数学基礎論の人ってなんでこういう人ばかりなんですか?