何で基礎論ってあまり活発じゃないの