论文部分内容阅读
精确图就是具有单射装饰的可达点图。非良基公理可以归结到对精确图外延的确定上。不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论。尽管近些年来AFA吸引了众多人的注意力,但是巴威斯（Barwise）和莫斯（Moss）在证明AFA（每个图有唯一装饰）的合理性和方程解的唯一性中有乞题之嫌;使用AFA处理自指悖论也过于勉强。相比较而言,FAFA是最自然的非良基集合论系统。