望月さんが言うような
基礎論の専門家の意見を聞いてみたいね
誰か基礎論の人発言しないかね