A linear system with no solutions is called inconsistent.

We can detect an inconsistent linear system, since whenever we apply EROs to put the augmented matrix into REF, we will get a row of the form $[0~0~0~\dots~0~*]$ where $*$ is non-zero.