任何有意义的数学理论，都始于一条不可证明的假设。