在集合论ZFC-＋AFA中，每个图有唯一装饰，每个方程组有唯一解。但是，在集合论ZFC-4-SAFA和ZFC-4-FAFA中，每个图并非只有一个装饰，每个方程......

本文介绍正则互模拟理论并比较了正则互模拟的外延性大小，通过对非良基公理之间不相容的条件的讨论，我们进一步比较了由正则互模拟决......

精确图就是具有单射装饰的可达点图。非良基公理可以归结到对精确图外延的确定上。不同的非良基公理对应了不同种类的精确图,进而......

作为经典集合论的扩张，非良基集合论具有更为丰富的集合全域。它能够提供一套完备的工具刻画现实世界中众多的循环现象。共代数是代......