数学集合,急需详细的证明过程,越详细越好