Frege's theorem

Frege's theorem is one of the foundations of neo- logicism .

Gottlob Frege proved informally in 1884 in The Basics of Arithmetic that Peano axioms of arithmetic can be derived from Hume's principle by means of a logic of the second order. A formal proof followed in basic laws of arithmetic .

Crispin Wright rediscovered the theorem in the 1980s and thus founded neo- logicism .

Web links

• Edward N. Zalta:  Frege's Theorem and Foundations for Arithmetic. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .