虽然这个问题本身没什么好说的，但是对公理本身的独立性的证明，是个很有意义的问题。
请参考欧氏几何的平行公理（第五公理）。
对第五公理独立性的质疑，意外地催生出非欧几何，也推动了数理逻辑（证明论）的进步。
我觉得这就是这个看似荒诞的问题背后的更深刻的问题。
