Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Another example from logic is Gentzen's consistency proof for Peano
arithmetic by transfinite induction up to $\varepsilon_0$, which I
think was completely unexpected, and unprecedented.
