请问！！线性代数的基本问题

是不是AX=b的两个不同的解，或者说线性无关的解，相减之后就是其对应的导出组AX=0的解？还有AX=b的通解形式是不是AX=b的特解+AX=0的基础解系？

AX1=b，AX2=b，两式相减，A(X1-X2)=0;
AX=b的通解形式是AX=b的一个特解+AX=0的基础解系