In fact, the entire foundation of math – its system of axioms – has had to be fixed due to contradictions existing in previous iterations. The most well known perhaps being Russell’s paradox in naive set theory: “Let X be the set of all sets that do not contain themselves. Does X contain itself?”

In fact, there have been many paradoxes that had to be resolved by the set theory we use today.