“白马”被包含于“马”而“马”不被包含于“白马”，所以两个集合不等。说“白马非马”当然错，如果它指的是‘“白马”不被包含于“马”’的话。

‘可有可无的假设’与“假设”的关系类似。我只是说两者不等，并没有说‘可有可无的假设’不是“假设”的一种。

如果你的跟帖还是象楼上这篇那样开玩笑的话，我就不再答复了。