「このプログラムにはバグがありません」

これは永遠に証明不可能だよ