替代公理（关于替代公理介绍）

大家好,小钱来为大家解答以上的问题。替代公理，关于替代公理介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 在公理化*论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel *论的一个公理模式，它本质上断言一个*在一个映射(泛函谓词)下的像也是一个*。

2、它对于构造特定的大*是必需的。

关于替代公理到此分享完毕，希望能帮助到您。