ゲーデルの不完全性定理とかいう有名定理があるのになぜやってる人が少ないのか