NO 247 无法证明的命题(第4页)