Stanford Encyclopedia of Philosophy

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

Proof of Hume's Principle from Basic Law V

Proof of Hume's Principle from Basic Law V

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