的对象，所以叫做“原子”。在这种理论中，外延公理需要特殊的形式化和处理。现已发现，向 NF 系统加进基本元素而生成的 NFU系统会产生某些令人惊讶的结论。特别是，NFU 已知是一致的，尽管与 NF 的相对一致性仍是未解的问题。此外，NFU 一致于选择公理而 NF 则不然。