替换公理

Zermelo-Fraenkel 公理之一，它断言对于任何集合 ，存在一个集合 ，使得对于 的任何 ，如果存在满足 的 ，则这样的 存在于 中，

这个公理由 Fraenkel 引入。