Symbolic logic and mathematics

Frege attempted to provide an even more rigorous foundation for mathematics by minimizing assumptions and proving steps logically. Before its publication, however, Bertrand Russel found an apparent self-contradiction in Frege's system known as Russel's paradox. This failure would have important ramifications in mathematics.
 Gottlob Frege Germany 1902 Symbolic logic and mathematics

Frege attempted to provide an even more rigorous foundation for mathematics by minimizing assumptions and proving steps logically. Before its publication, however, Bertrand Russel found an apparent self-contradiction in Frege's system known as Russel's paradox. This failure would have important ramifications in mathematics.