空集与无解有何区别,详