> then it can be said that any statement in that system "leads to" a contradiction Why exactly it "leads to"? I don't get it. Why system can't have a contrad

> then it can be said that any statement in that system "leads to" a contradiction Why exactly it "leads to"? I don't get it. Why system can't have a contradiciton for one set of inputs, and not have it for others?