不一定。查查Godel incomplete theroem.

來源: 2016-02-22 13:36:58 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: