读过《Logic for Mathematicians》 🌕🌕🌕🌕🌕
以NF为基础建构数学的早期实践，以等势集与良序集的等价类“自然”地定义基数与序数。本书出版的同年Specker证明了选择公理在NF中不成立，因此无穷公理在NF中成立，不需要再如书中一样添加无穷公理。但在数学实践中仍需要增加计数公理，这在任何意义上绝非是“自然”的。
Book
Logic for Mathematicians
Douban
J Barkley Rosser Jr.
/
Mathematics
publishing house:
Dover Publications Inc.
2009
- 3
Hailed by the "Bulletin of the American Mathematical Society" as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. 1978 edition.