Concept

Frege's theorem

Overview

metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Frege's theorem

• Crispin Wright
• George Boolos
• Gottlob Frege

Related ideas

• Propositional logic
• Edward N. Zalta
• Truth table
• Crispin Wright
• Arithmetic
• Hume's principle
• Second-order logic
• Logicism
• Stanford Encyclopedia of Philosophy
• Metalogic
• Tautology (logic)
• Russell's paradox
• Philosophy of mathematics
• Gottlob Frege
• Axiom schema of specification
• Material conditional
• Currying
• Consequent
• The Foundations of Arithmetic
• Begriffsschrift
• Negation introduction

Place in the tradition

Part of Analytic philosophy.

Explore Frege's theorem in the interactive graph →