o-Fraenkel 集合论的标准公理化集合论中，没有基本元素。但是确实有其他公理化集合论使用基本元素，比如：带有基本元素的 Kripke-Platek 集合论。在带有类型的集合论系统中，基本元素有时是类型 0 的对象，所以叫做“原子”。在这种理论中，外延公理需要特殊的形式化和处理。现已发现，向 NF 系统加进基本元素而生成的 NFU系统会产生某些令人惊讶的结论。特别是，NFU 已知是一致的，尽管与 NF 的相对一致性仍是未解的问题。此外，NFU 一致于选择公理而 NF 则不然。