Claude 辅助研究打通哥德尔证明选择公理独立性的缺口

研究者 arannayebi 介绍，Jan 借助 Claude 将哥德尔掌握的定义与其选择公理独立性证明联系起来，补上了证明缺口。Jan 的考证指出，哥德尔曾研读并抄录 Mostowski 1939 年的相关工作，但未在自己的笔记中把两者联系起来。