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.
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.