正则公理（也叫做基础公理）是 Zermelo-Fraenkel 集合论的公理之一。