任何一个公理体系的出发点，都是一组假设。而‘可有可无的假设’，是指即使没有那假设，那理论体系仍不须变动。理论研究的一个重点，就是要剔除多余的假设，例如laplace和dawkins所说的‘上帝’。

假设只是假设，不被膜拜，只容挑剔，并不如某些人心中的‘神’那样，非要宣称是绝对真理之类，不容置疑。

对‘石头的比喻’还是不能让你的‘证明’成立。