When you are studying science and technology, and the math theorem doesn't match experiment, the theory is probably wrong (or incomplete, missing factors), so you can discard it or try to improve it.
When you are studying math, and the intuition doesn't match the theorem, the intuition is probably wrong (or incomplete).
But yeah, while studying math, I think it's similar to learning programming — don't blame the compiler for your mistakes, it's a well-tested piece of software.
But, in my last comment I was just trying to temper my previous comment's claim about how important definitions are. At some point you get so used to a definition that even if you don't know a particular formulation word for word, you could still write a textbook on the subject because you know how the theory is supposed to go.