aenkel 集合论的公理之一。在一阶逻辑中，这个公理可叙述如下：翻译为较容易理解的说法就是：从这个公理可得出两个结果，其一为“不存在以自身为元素的集合”，其二为“没有无限序列 "a" 使得对于所有 "i"，"a" 是 "a" 的元素”。通过选择公理可以证明后者的逆命题也成立：如果这样的无限序列不存在，则正则公理为真。所以在假定选择公理的情况下，两个陈述是等价的。正则公理被认为是Zermelo-Fraenkel 集合论中应用最少的公理，因为数学分支中的所有关键性结果都可用集合论中的其他公理证明