ゲーデルの不完全性定理は純粋数学においても目の上のたん瘤であり、
それをなるべく小さくしてできるだけ触れずやり過ごすのが慣例になっている。