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

The Canonical Decoration of Graph and the Canonical Solution of Equational System

作　　者：姚从军[1,2] 

机构地区：[1]湖南科技学院思政部 [2]中国社会科学院哲学研究所

出　　处：《逻辑学研究》2012年第2期75-87,共13页Studies in Logic

基　　金：2012年国家社科基金项目(互模拟理论的逻辑研究)(12BZX060)

摘　　要：在集合论ZFC+AFA中,每个图有唯一装饰,每个方程组有唯一解。但是,在集合论ZFC+SAFA和ZFC+FAFA中,每个图并非只有一个装饰,每个方程组并非只有一个解。笔者通过定义互模拟坍塌概念,在可达点图的典范装饰概念的基础上导出方程组的典范解,提出并证明:在上述三种具体的非良基集合论中,每个可达点图都有唯一的典范装饰,每个方程组有唯一的典范解。In ZFC- ＋ AFA, every accessible point graph has unique decoration and every equational system has unique solution. However, it is not true in ZFC- ＋ SAFA and ZFC- ~ FAFA. The author introduces the conception of bisimulation collapse, and de- fines the notion of canonical solution of equational system on the basis of the conception of canonical decoration of accessible point graph. Furthermore, the author puts forward and proves ＂in ZFC- AFA, every accessible point graph has unique canonical deco- ration＂, ＂in ZFC- ＋ AFA, every equational system has unique canonical solution＂.

关 键 词：非良基公理 装饰 解引理 典范装饰 典范解 

分 类 号：B81-0[哲学宗教—逻辑学]