ゲーデルの不完全性定理

形式化された数学の中で、有限の立場では、自然数論の無矛盾性が証明できないことを示す定理 ウィキペディアから