# 代换公理

> 在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式（英語：axiom schema of replacement）是策梅洛-弗兰克尔集合论（ZFC）的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。

- ID: m07383
- 分类: structure
- 领域: 逻辑学

## 定义

如果 a = b，则在任何表达式中可以用 b 替换 a。脚手架作用：等价替换是逻辑推理的基础操作。

## 机制

等量代换是等式的基本性质：若a=b，则含a的任何命题/表达式中的a可替换为b而不改变真值；是推理、化简与证明的基础规则（莱布尼茨"不可分辨物同一"的可替换性体现）。

## 练习

在推导中识别相等关系；用其一替换另一以化简或代入；注意保持替换处外延/内涵一致。

## 脚手架用法

等价替换是逻辑推理的基础操作。

[阅读网页](https://thinkingmodels.site/entries/detail/m07383)