标签: 不可证明

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