Eigentlich bedeutet dim L = 0, dass genau eine Lösung existiert.
Wenn der Lösungsraum n-dimensional ist, dann bedeutet das, dass alle Elemente der Menge durch n Parameter beschrieben werden können.
Also z.B.
L = {k*(1, 0, 0) + n*(0, 1, 0)} ist eine zweidimensionale Lösungsmenge,
L = {(2, 3, 1)} dagegen eine nulldimensionale.
Ich würde also sagen, dass man gar nicht von der Dimension der Lösungsmenge sprechen kann, wenn sie nicht existiert.