论基础公理与反基础公理.pdfVIP

逻辑学研究 2013 年第2 期，1–15 文章编号：1674-3202(2013)-02-0001-15 论基础公理与反基础公理* 李娜 杜文静 南开大学哲学院 华东政法大学人文学院 linawii@ duwenjing_16@163.com 摘 要： “循环并不可恶”。本文在此基础上讨论基础公理和反基础公理。首先指出 基础公理原本就是一条有争议的公理；第二，说明基础公理的局限性；第三，详细论述 反基础公理家族中的三个成员，并给出它们两两不相容的一个证明；第四，分析反基 础公理导致集合论域在 上不断扩张的方法，并指出这种扩张的方法与数系扩 张的方法相同；最后结论：良基集合理论（ZFC）与非良基集合理论（ZFC AFA （或者ZFC 和ZFC FAFA 或者ZFC 和ZFC SAFA））之间的关系类似于欧几里得 几何学与非欧几何学之间的关系。 关键词：非良基集