https://en.wikipedia.org/wiki/Bertrand_Russell

In the foundations of mathematics, Russell’s paradox (also known as Russell’s antinomy), discovered by Bertrand Russell in 1901, showed that some attempted formalizations of the naïve set theory created by Georg Cantor led to a contradiction. The same paradox had been discovered in 1899 by Ernst Zermelo but he did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other members of the University of Göttingen. At the end of the 1890s Cantor himself had already realized that his definition would lead to a contradiction, which he told Hilbert and Richard Dedekind by letter.

According to naive set theory, any definable collection is a set. Let R be the set of all sets that are not members of themselves. If R is not a member of itself, then its definition dictates that it must contain itself, and if it contains itself, then it contradicts its own definition as the set of all sets that are not members of themselves.

https://en.wikipedia.org/wiki/Russell%27s_paradox

The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1925–27, it appeared in a second edition with an important Introduction to the Second Edition, an Appendix A that replaced ✸9 and all-new Appendix B and Appendix C. PM is not to be confused with Russell’s 1903 The Principles of Mathematics. PM was originally conceived as a sequel volume to Russell’s 1903 Principles, but as PM states, this became an unworkable suggestion for practical and philosophical reasons: “The present work was originally intended by us to be comprised in a second volume of Principles of Mathematics… But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we believe to be satisfactory solutions.”

https://en.wikipedia.org/wiki/Principia_Mathematica

In mathematics, Hilbert’s program, formulated by German mathematician David Hilbert in the early part of the 20th century, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies. As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic.

Gödel’s incompleteness theorems, published in 1931, showed that Hilbert’s program was unattainable for key areas of mathematics. In his first theorem, Gödel showed that any consistent system with a computable set of axioms which is capable of expressing arithmetic can never be complete: it is possible to construct a statement that can be shown to be true, but that cannot be derived from the formal rules of the system. In his second theorem, he showed that such a system could not prove its own consistency, so it certainly cannot be used to prove the consistency of anything stronger with certainty. This refuted Hilbert’s assumption that a finitistic system could be used to prove the consistency of itself, and therefore anything else.

https://en.wikipedia.org/wiki/Hilbert%27s_program

The Abel Prize /ˈɑːbəl/ (Norwegian: Abelprisen) is a Norwegian prize awarded annually by the King of Norway to one or more outstanding mathematicians. It is named after Norwegian mathematician Niels Henrik Abel (1802–1829) and directly modeled after the Nobel Prizes. It comes with a monetary award of 7.5 million Norwegian Kroner (NOK).

The Abel Prize’s history dates back to 1899, when its establishment was proposed by the Norwegian mathematician Sophus Lie when he learned that Alfred Nobel‘s plans for annual prizes would not include a prize in mathematics. In 1902, King Oscar II of Sweden and Norway indicated his willingness to finance a mathematics prize to complement the Nobel Prizes, but the establishment of the prize was prevented by the dissolution of the union between Norway and Sweden in 1905. It took almost a century before the prize was finally established by the Government of Norway in 2001, and it was specifically intended “to give the mathematicians their own equivalent of a Nobel Prize.” The laureates are selected by the Abel Committee, the members of which are appointed by the Norwegian Academy of Science and Letters.

The award ceremony takes place in the Aula of the University of Oslo, where the Nobel Peace Prize was awarded between 1947 and 1989. The Abel Prize board has also established an Abel symposium, administered by the Norwegian Mathematical Society.

Source: Abel Prize – Wikipedia

The modularity theorem (formerly called the Taniyama–Shimura conjecture) states that elliptic curves over the field of rational numbers are related to modular forms. Andrew Wiles proved the modularity theorem for semistable elliptic curves, which was enough to imply Fermat’s last theorem. Later, Christophe Breuil, Brian Conrad, Fred Diamond and Richard Taylor extended Wiles’ techniques to prove the full modularity theorem in 2001.

Source: Modularity theorem – Wikipedia