Frege's Theorem and the Peano Postulates

DOI10.2307/421158zbMath0838.03041OpenAlexW2054062406MaRDI QIDQ4858805

George Boolos

Publication date: 19 December 1995

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0103-toc.htm

zbMATH Keywords

FregeFregean conception of natural numbersPeano postulates

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Second- and higher-order arithmetic and fragments (03F35)

Related Items

ABSTRACTIONIST CATEGORIES OF CATEGORIES ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Frege's theorem and his logicism ⋮ Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters

Cites Work

• On Mathematical Induction