乔治·布洛斯;见鬼，Richard G.jun。 Die Grundlagen der Arithmetik，§§82-3。 （英语） Zbl 0935.03008号 Schirn，Matthias（编辑），《今日数学哲学》。1993年6月28日至7月4日，德国慕尼黑，会议论文。牛津：克拉伦登出版社。407-428 (1998). 作者讨论了弗雷格的“Grundlagen der Arithmetik”[Koebner，Breslau（1884），C.Thiel，Meiner，Hamburg（1986）的批判性编辑]，特别是§§82-3，其中包含弗雷格关于继任者存在性证明的草图，该草图将完成他关于存在无穷多自然数的证明。据提交人说，这些段落给解释带来了严重困难。“我们不情愿地、犹豫地得出结论，弗雷格在这两个部分中至少有点混淆，不能说他已经概述了，甚至没有打算在那里提供任何正确的证据”（p。407). 作者给出了两种不同的证明，一种类似于弗雷格在《算术格伦德塞兹》（Grundgesetze der Arithmetik）[第2卷，§§115，117，119，耶拿州波勒（1903；JFM 34.0071.05号)，再版Olms，Hildesheim（19621998）]。在此之前，他们从第70章开始概述了弗雷格在《格兰德拉赫》中的算术发展。本文以三个附录结尾，列出了《格兰德拉赫》中一些命题在《格兰德塞茨》中的对应词，这是对弗雷格算术在二阶算术中的解释，以及“Grundgesetze”中一些段落的现代符号翻译。关于整个系列，请参见[Zbl 0897.00021号].审核人：V.佩克豪斯（爱尔兰根） 引用于1审查引用于2文件 理学硕士： 03A05号 逻辑和基础的哲学和批判性方面 03-03 数学逻辑和基础的历史 01A55号 19世纪数学史 关键词：逻辑主义;继承人;无穷;自然数;弗雷格算法;二阶算术;JFM 34.0071.05号 引文：JFM 34.0071.05号 PDF格式BibTeX公司 XML格式引用 \textit｛G.Boolos｝和\textit｛R.G.Heck jun.｝，在《今日数学哲学》中。1993年6月28日至7月4日，德国慕尼黑，会议论文。牛津：克拉伦登出版社。407-428（1998年；兹bl 0935.03008）