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