Area of Study
Arts, Humanities and Social Sciences
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.
Halasz, Kevin, "A Foundation for Arithmetic" (2011). Summer Research. 134.
University of Puget Sound