Are models tested by reference to experiment? You can demonstrate that a model is inapplicable in some cases; if it's inapplicable in all cases, it is useless; I don't know if it means anything to say that the model itself is false.

This is doubly so when applied to mathematics; mathematics (specifically, logic) is the model that gives a context to the term "contradiction"; that tells what it means and how we know it applies.