不完全性定理はヒルベルトの想定した枠組みではそうなるってだけで
それではだめだから修正したほうがいいという意味でやったんじゃなかったのか
数学的帰納法を追加すれば不完全では無くなるらしいが、すべてはしらん