I don't buy into the solution above because it assumes that one of the members of the solution set has y = 0 and that another has y = 1.

So what you're saying is that if a != 0, then it's possible that ax + b = c (or ax = c) are not solvable (for x)?