没有验证的命题叫什么