摘要：没有选择公理的Zermelo-Fraenkel集合论框架下，我们在度量空间、概率论和希尔伯特空间的背景中建立了与“可数个有限集的并是可数的”这一命题等价的结果。这些等价性的范畴原理被确定下来。
作者：Ilijas Farah, Jeffrey Marshall-Milne
论文ID：2308.11826
分类：Logic
分类简称：math.LO
提交时间：2023-08-24
PDF 下载： 英文版 中文版pdf翻译中