虽然这个问题本身没什么好说的，但是对公理本身的独立性的证明，是个很有意义的问题。
请参考欧氏几何的平行公理（第五公理）。
对第五公理独立性的质疑，意外地催生出非欧几何，也推动了数理逻辑（证明论）的进步。
我觉得这就是这个看似荒诞的问题背后的更深刻的问题。
1. 公式行内显示(inline)：请使用 $....$ 或 \(....\) 包裹代码
2. 公式独占一行显示(display)：请使用 $$....$$ 或 \[....\] 包裹代码
3. 插入的公式在编辑时不会渲染，请检查无误后再插入。
