Stanford Encyclopedia of Philosophy
This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Supplement to Frege's Logic, Theorem, and Foundations for Arithmetic

Proof of the Lemma for Hume's Principle

graphic of the Proof of the Lemma for Hume's Principle

Return to Frege's ‘Derivation’ of Hume's Principle in Gg