方程X2+2=0的实数解是否为集合?