Frege's theorem

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

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

Crispin Wright discovered the theorem again in the 1980s, founding the Neo - logicism.

• Logic
• Philosophy of Mathematics
• Gottlob Frege