This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Proof (cont'd)

Return to Main Text

Copyright © 1998, 2003
Edward N. Zalta
zalta@stanford.edu

Supplement to Frege's Logic, Theorem, and Foundations for Arithmetic
Stanford Encyclopedia of Philosophy