>>3
お教えいただきありがとうございます。

ある体系がその体系に矛盾が存在しないかを証明できないというもののようですが、それは数学に完成や終わりがないことと同義なのでしょうか？

例えば数学とは異る体系が生み出され、それが数学の完全性を示すという形で完成する可能性はないのでしょうか？