非良基公理的本质及其应用

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