而且，你还是弄错了，逻辑思维差了点。

说“All software bugs can be fixed”是错的，不等于“没有软件能保证没有bug”。这又是充分和必要和充要的区别。

当然有软件能保证没有bug。查查“Isabelle”这个软件，用它已经证明了不少其它软件没有bug。

说不定Ford的软件都用Isabelle证明过，不过那是他们的商业机密，你是不会有机会证伪的。 ：）