差不多吧。嚴格證明有一定要求，至少能描述正整數運算。

所有跟帖： 

• 如果我的印象是對的，那跟道可道，就沒什麽關係了呀。一個公理體係，表達出來，就是說出來的道。所以道確實可道。 -蔣聞銘- ♂ (0 bytes) () 10/25/2024 postreply 17:39:20

• 公理體係不完備，是說什麽樣的道，都不能覆蓋所有的事。這個道理，是講人類認知的局限，這個是康德的二律背反的翻版。 -蔣聞銘- ♂ (0 bytes) () 10/25/2024 postreply 17:43:19

• 那這不就是 非常（恒）道嗎？：） -JSL2023- ♂ (0 bytes) () 10/25/2024 postreply 17:58:51

• 我的理解，道可道非常道，是說能講出來的道理，都不是永恒不變的天道。所以我說他這個話，是自己講不出天道，就找借口 -蔣聞銘- ♂ (0 bytes) () 10/25/2024 postreply 18:26:52

• 說天道沒法講。如果他說根本沒有覆蓋一切的天道，就沒有問題。這不是他的意思。 -蔣聞銘- ♂ (0 bytes) () 10/25/2024 postreply 18:31:56

• 你的意思是有永恒不變覆蓋一切的天道，可以講岀來？ -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 01:42:43

• 老子說道可道非常道，名可名非常名，意思是 有永恒不變覆蓋一切的天道，但是講不岀來。我的意思，是這個話與公理體係的完備性， -蔣聞銘- ♂ (0 bytes) () 10/26/2024 postreply 06:37:27

• 沒有關聯。 -蔣聞銘- ♂ (0 bytes) () 10/26/2024 postreply 06:39:27

• 那你可能需要解釋一下你是怎麽看（推）出＂永恒不變的＂：）而且明明說＂可道可名＂，為什麽你說＂說不出＂？ -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 06:50:21

• 我大概知道你我解讀的區別：） -JSL2023- ♂ (277 bytes) () 10/26/2024 postreply 17:54:31

• 這個我同意你的， 能用公理體係表達出來， 就是“說得清，道得明”的。 -eciel567- ♀ (0 bytes) () 10/26/2024 postreply 06:54:21

• 如果都說得清，道得明，就沒有Godel 什麽事了：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 07:03:55