Many examples comes to mind, the most famous being the Gödel's theorems viewed as formalisations of the Liar's paradox. I just realised that the proof of non-calculability of Kolmo …

Russell's paradox showed that naive set theory leads to a contradiction. This was something that was taken seriously and caused a lot of work. Now, Banach–Tarski paradox is arises …