歌德尔命题有几个驳论?要讲清楚

来源:学生作业帮助网 编辑:作业帮 时间:2024/06/21 07:03:12

歌德尔命题有几个驳论?
要讲清楚

构命题G:“G是不可证明的.”
这是一个不可判定的命题.
(假设G是不可证明的,则G为真,由命题真与命题可证明等价,则G可证明;假设G可证明,则G为真,则G不可证明.)

6个