“白馬”被包含於“馬”而“馬”不被包含於“白馬”，所以兩個集合不等。說“白馬非馬”當然錯，如果它指的是‘“白馬”不被包含於“馬”’的話。

‘可有可無的假設’與“假設”的關係類似。我只是說兩者不等，並沒有說‘可有可無的假設’不是“假設”的一種。

如果你的跟帖還是象樓上這篇那樣開玩笑的話，我就不再答覆了。