On the theory of inconsistent formal systems