字母在集N中取值,方程ax=b一定有解吗?至少要扩大到什么数集,才能保证方程一定有解