标签: 不可证明

  1. 命题:实数集$ \mathcal{R}$ 上的任何一个可数种颜色染色方案,都存在四个不等的同色点$ x, y, z, w$ 使得$ x+y=z+w$