https://www.bananaspace.org/wiki/
用户讨论: 上埜久
https://www.bananaspace.org/wiki/讲义: 集合论进阶_A._公理集合论基础 (OperatorP)/自然数与有限性/ZF 中的有限性
怎么添加注释? 过于升级和形式化倒是有点像 cruz 的文章我都看不太懂 QAQ
抱歉, 我的意思是希望你能为这一小节添加更多历史注记, 就是重写或添加更多内容, 因为看你的笔记好像你对一些有限性相关的历史文献比较熟悉? 这篇确实是我对 Cruz 那篇综述的一部分的阅读记录, 主要是添加了一部分其中没有展开的证明, 然后略去了所有的相对一致性证明.
您好, 我知道的历史文献基本都写在我的笔记里, 都是抄前人的东西然后按照自己的理解重写了一遍以适合初学者 (特指像我这样的初学者) 理解. 关于一些独立性证明和各种定义的强弱证明我认为更像是专门的进阶内容, 我自认为我还没有充分理解所以很难写得更好, 可能需要对于有限集理论有一个更全面的了解以通盘考虑, 但这方面显然你比我强多了, 而我个人的品味也倾向于在 Z 甚至 Z-infinity 而不是 ZF 中去理解有限集 (除非我找不到更好的证明或当作权宜之计), 因为我很难想象有限集的定义和证明会需要替换公理模式或无穷序数这样的东西. 另外我觉得 Cruz 另一篇 2004 年的文章某种程度上像是对百年前 Weber 和 Stackel 思路的延续, 但我总觉得还是不太习惯现代的语言风格, 由于我纯自学所以我可能需要很多时间理解这一百年间的变化 (至少 Fraenkel 和 Levy 的文章我还没看), 或者你可以教我 QAQ.
好吧, 感谢您的回答, 我会尽力自行修复.
没想到还真有人看我啊 QWQ
没有更早的话题