Logicism

Summary

Logicism is the view that mathematics, or at least arithmetic, is a part of logic. Its claim is that mathematical notions can be defined in purely logical terms and that mathematical truths can be proved from logical laws alone. Gottlob Frege, and later Bertrand Russell and Alfred North Whitehead in Principia Mathematica, tried to carry out this program. It is one of the classical answers in the foundations of mathematics.