I may be wrong, but I don' t think it's a consequence of Godel that we can't prove ZFC consistent. We can prove all kinds of things to be consistent. What Godel says is that if we can write a formula in the language of ZFC that says "ZFC is consistent", then we can't prove it unless ZFC is...