Faculty Advisor
Cannon, Douglass
Area of Study
Arts, Humanities and Social Sciences
Publication Date
Summer 2011
Abstract
This paper contains a proof of Frege's Theorem: the statement, first discovered by George Boolos, that Gottlob Frege's failed proof of the analyticity of arithmetic could be slightly altered so as to provide an axiomitization of arithmetic with just one proposition. After an expository treatment of the mathematical work in Frege's 'Foundations of Arithmetic,' the work in which Frege presented his failed proof, a novel, and particularly succinct, proof of the Theorem is provided.
Recommended Citation
Halasz, Kevin, "A Foundation for Arithmetic" (2011). Summer Research. 134.
https://soundideas.pugetsound.edu/summer_research/134
Rights
Publisher
University of Puget Sound
COinS