Układ równań jest sprzeczny, gdy jesteśmy w stanie doprowadzić go do postaci, gdzie po jednej stornie równań mamy te same wyrażenia, a po drugiej stronie różne.

Układ z podpunktu a) ma tą własność,