“2=3”是命题吗 “5大于4”是命题吗

问题描述:

“2=3”是命题吗 “5大于4”是命题吗

都是命题.
命题的一个简单化的定义(不太准确,但足够用了):
如果任何一个句子P,我们问下面的问题都是有意义的:
P句子是真的吗?
P句子是假的吗?
那么P就可以被认为是命题.(参见Hodges[1977])
3楼的大哥说法有可能导致混淆,哥德尔不完全性定理说的只是在一个公理系统内,存在至少一个命题是真命题但是该系统无法证明它是对的;相应的,不能证明其否定是错的.可是并不是说该命题我们不可能知道是对是错.
我说的是问一个句子是对是错是有意义的就可以了,并不是说一个命题为真或为假一定要能证明出来.