在集合论ZFC+AFA中,每个图有唯一装饰,每个方程组有唯一解。但是,在集合论ZFC+SAFA和ZFC+FAFA中,每个图并非只有一个装饰,每个方程组并非只有一个解。笔者通过定义互模拟坍塌概念,在可达点图的典范装饰概念的基础上导出方程组的典范解,提出并证明:在上述三种具体的非良基集合论中,每个可达点图都有唯一的典范装饰,每个方程组有唯一的典范解。
科研之友
微信
新浪微博
Facebook
分享链接
