On Formally Undecidable Propositions of Principia Mathematica and Related Systems

作者 Kurt Gödel
出版社 Dover Publications
出版时间 1992年4月
ISBN 9780486669809

内容简介

FirstEnglishtranslationofrevolutionarypaper(1931)thatestablishedthateveninelementarypartsofarithmetic,therearepropositionswhichcannotbeprovedordisprovedwithinthesystem.Itisthusuncertainthatthebasicaxiomsofarithmeticwi

— END —