Frege's Theorem

ISBN: 9780199695645 出版年：2011 页码：322 Heck, Richard G Oxford University Press

Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy.