NO 247 无法证明的命题