Goedel proved that any sufficiently complex theory (capable to express Peano arithmetic) is either incomplete or inconsistent. For example, it's possible that the common arithmetic is inconsistent, perhaps one day we stumble into a contradiction in it.
Nobody believes in that, but that's the point - we can't prove it.