为什么{x²-1=0}不是恰有两个元素的集合?