别说存在解不出的数学难题了，实际上能解开的数学难题才是凤毛麟角。如果命题上能定义测度，那我就能证明几乎所有命题都是无法证明的

倒也不是不可以定义，令 是定义有均匀测度的符号集，那么命题可以看作是 的一个子集，并且后者上存在由 诱导出的均匀测度。如果全体命题构成的集合的闭包在 中不是0测集，那么就可以由后者诱导出命题闭包上的均匀测度。此时对于可证命题构成的命题集 ，它的闭包是可测集，因此只需证明 即可