# 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 .*