lu409402 寫到:我知道今天我們會常用以下兩個符號來描述集合
例如 :
{a,b,c}(如果可以的話 :列舉法)
{x∈ A | formula or 條件}
我想問當我們使用以上符號時,他所代表的集合應該是唯一的吧 ?
因為我知道對於數學符號,我們會希望他要清楚,不要他可以是他又可以是不同人 .
如果會唯一, 是因為集合相等 就是 互相包含 這樣嗎 ?
假如集合相等不是我們一般的互相包含,那是不是使用上述符號時,就可能會發生一個符號可能同時代表很多集合 . ?(假如啦 好奇想知道)
貼上幾年前讀集合論與數理邏輯時,對於等號=的心得筆記,或有參考價值。
會對等號有疑問,主要是在數理邏輯時,每個符號都要有嚴格的定義,包括等號=是什麼。想像自己是要跟電腦溝通,這樣比較能理解為什麼會有這個無聊的討論。