Frege s theorem and the Peano postulates

George Boolos. Frege s theorem and the Peano postulates. Bulletin of Symbolic Logic, 1(3):317-326, 1995. [doi]

Abstract

Abstract is missing.