馬是一切顏色馬的集合(老鍵的定義。OK)。------〉顏色馬就是馬(這個集合)的一個元素(公認的元素性質)。
元素不是集合 (公認的元素性質) ------〉顏色馬不是馬(這個集合)。 老鍵在這裏把顏色馬偷換成馬。