论文部分内容阅读
在集合论ZFC-＋AFA中，每个图有唯一装饰，每个方程组有唯一解。但是，在集合论ZFC-4-SAFA和ZFC-4-FAFA中，每个图并非只有一个装饰，每个方程组并非只有一个解。笔者通过定义互模拟坍塌概念，在可达点图的典范装饰概念的基础上导出方程组的典范解，提出并证明：在上述三种具体的非良基集合论中，每个可达点图都有唯一的典范装饰，每个方程组有唯一的典范解。