Logic and Foundations Commons^™

A Foundation For Arithmetic, Kevin Halasz

Summer Research

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.