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

First Derivation of the Contradiction

graphic of the First Derivation of the Contradiction

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