我理解他的意思时,在他所讨论的这个形式系统中,无法证明这个可能是真的命题


所有跟贴·加跟贴·新语丝读书论坛

送交者: shubing 于 2018-09-24, 21:58:28:

回答: At the end, he basically says it isn't done, 由 短江学者 于 2018-09-24, 16:05:37:

(因此不完备)



所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明