题目

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

提问时间：2021-04-07

答案

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