任何一個公理體系的出發點，都是一組假設。而‘可有可無的假設’，是指即使沒有那假設，那理論體系仍不須變動。理論研究的一個重點，就是要剔除多餘的假設，例如laplace和dawkins所說的‘上帝’。

假設只是假設，不被膜拜，只容挑剔，並不如某些人心中的‘神’那樣，非要宣稱是絕對真理之類，不容置疑。

對‘石頭的比喻’還是不能讓你的‘證明’成立。