Et lineært ligningssystem er om det har minst én løsning, ellers er det . Fra et inkonsistent system er det mulig å utlede en selvmotsigelse, som for eksempel at 0 = 1.