ゲーデルの不完全性定理とはなんですか？

A. ゲーデルの不完全性定理とは、数学基礎論とコンピュータ科学（計算機科学）の重要な基本定理で、数学的な証明が必ず存在し、それによって数学的な証明が完全であることは不可能であると主張しています。

参考URL:https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86