[maho]

I disagree: "Ax = b" is a statement. It does not need to be true. This is quite useful and often used for "proofs by contradiction".

[rsp1984]

I see it being used all over the place as a starting point to solve for x, even if A is non-square and/or x ends up being a least squares solution.