正则公理
（也叫做基础公理
）是Zermelo-Fraenkel 集合论的公理之一。在一阶逻辑中，这个公理可叙述如下：翻译为较容易理解的说法就是：从这个公理可得出两个结果，其一为“不存在以自身为元素的集合”，其二为“没有无限序列使得对于所有i，是的元素”。通过选择公理可以证明后者的逆命题也成立：
如果这样的无限序列不存在，则正则公理为真。所以在假定选择公理的情况下，两个陈述是等价的。
正则公理被认为是Zermelo-Fraenkel 集合论中应用最少的公理，因为数学分支中的所有关键性结果都可用集合论中的其他公理证明得到。
另外，不包含正则公理的康托的集合论，实际上假定了以自身为一个元素的集合的存在。
基本蕴涵1）不存在以自身为元素的集合
反证，假设有一个集合A，使得A是自身的一个元素，即
。这时，根据配对公理，可以构造出
，B也是一个集合。但是根据我们的假定有
及，所以。这与正则公理相矛盾！所以不存在这样的集合A。
2）不存在无限递降的集合序列
设f为一定义在自然数集上的函数，且对每个n，
都是的一个元素。定义f的值域
，按照函数的形式定义S是一个集合。对S应用正则公理，可知S中有一个元素，其与S不相交。但按照f和S的定义，
和S有一个公共元素（就是）。这是个矛盾，所以不存在这样的f。
注意这个论证只有在集合（而非不可定义的类）的情况下才对f适用。
继承有限集合
是满足正则公理的，所以如果你构造的一个非平凡的超幂，那么它也会满足正则公理，但是，它会包含无限递减的元素序列。3）假定选择公理，则“无限递减的集合序列不存在”蕴含正则定理
设非空集合S是正则公理的一个反例；就是说S的所有元素都与S有非空交集。
设g是S的选择函数，就是说对于S的每个非空子集s，g会把s映射到s自身的一个元素。然后，在非负整数上递归的定义函数f为如下：
那么对于每个是S的一个元素，因此它与S的交集是非空的。从而
是良好定义的，并且是的一个元素。所以f是一个无限递降的链。
这是一个矛盾，所有这样S不存在。
4）确使有序对 (a,b) 可定义为 {a,{a,b}}
这个定义消除了有序对的 Kuratowski 规范定义
中的一对花括号。良基性和超集合在 1917 年，Dmitry Mirimanoff引入了
良基性
概念：一个集合 x是良基的，当且仅当它没有无限递降的集合序列：
在 ZFC 中通过正则公理而没有无限递降 ∈序列。实际上，正则公理经常叫做基础公理，因为可以证明在 ZFC（没有正则公理的 ZFC）中，良基性蕴涵了正规性。在一些没有正则公理的 ZFC 变体中，非良基集合是可以存在的。在这种系统中工作的时候，不必然良基的集合叫做超集合。明显的，如果
，则A是非良基超集合。超集合的理论已经应用于计算机科学（进程代数和最终语义）、语言学（情景理论）和哲学（谎言者悖论）中。
较知名的反基础公理有三个：
1.AFA（反基础公理）— 由 M. Forti 和 F. Honsell 提出；
2.FAFA（Finsler 的 AFA 版本）— 由 P. Finsler 提出；
3.SAFA（Scott 的 AFA 版本）— 由Dana Scott提出。
其中第一个的 AFA 是基于Accessible pointed graph（apg），它断言两个超集合是相等的，当且仅当它们可被同一个 apg 描绘。在这个框架下，可以证明那定义为
的所谓蒯因原子，是唯一存在的。值得强调的是，超集合理论是经典集合论的扩展而非替代者：在超集合领域内的良基集合符合经典集合论。可以在新基础或正集合论（或更一般的说带有是自身的元素的全集的任何集合论）中找到的非良基种类是非常不同的。
罗素悖论和正则公理的联系罗素悖论实际上构造了一个真类，而根据正则公理，真类被排除在ZF集合论的公理体系之外。也就是说，正则公理并没有真正解决罗素悖论，只是限制了数学所讨论的集合（更恰当的说法是类或是搜集）的范围，从而
避开
了罗素悖论。这是目前数学家们所找到的最好的解决办法：通过正则公理排除所有已知的矛盾。