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