简单命题是判定命题,复合命题是未判定命题.这样说对吗?举例说明.

Goodstein定理是一个关于自然数的相对简单的命题,它在皮亚诺算术中是不确定的。 Gregory Chaitin在算法信息论中构造了一个不确定命题, 即``Chaitin 随机数Ω的第n个字节是否为0"这样的命题在ZFC内是不可判定的.
楼主看一下
哥德尔不完备定里
或许会给你一个答案。

说清楚点～～