图的典范装饰与方程组的典范解.pdfVIP

逻辑学研究 2012 年第2 期，75–87 文章编号：1674-3202(2012)-02-0075-13 图的典范装饰与方程组的典范解* 姚从军 湖南科技学院思政部 中国社会科学院哲学研究所 yaocongjun@126.com 摘 要：在集合论ZFC AFA 中，每个图有唯一装饰，每个方程组有唯一解。但是， 在集合论ZFC SAFA 和ZFC FAFA 中，每个图并非只有一个装饰，每个方程组并 非只有一个解。笔者通过定义互模拟坍塌概念，在可达点图的典范装饰概念的基础上 导出方程组的典范解，提出并证明：在上述三种具体的非良基集合论中，每个可达点 图都有唯一的典范装饰，每个方程组有唯一的典范解。 关键词：非良基公理；装饰；解引理；典范装饰；典范解 中图分类号：B81 文献标识码：A 一、AFA