>>181
「不完全性定理の証明を "正しい証明" とは認めない」
と定義すると、数学はずいぶん便利になると思う。