单项选择题

A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真
B.哥德尔不完全定理说存在着既不能证明其为真,也不能证明其为假的命题
C.借助哥德尔的编码程序,关于自然数每个可能的命题本身又可表达为一个数
D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题