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 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