そりゃ数学でさえ矛盾は無いと思われてたのに、ゲーデルの不完全性定理で無矛盾な
公理系は存在しないことがわかったのだから、プログラムなんてバグだらけで当然