替换公理

_

axiom of replacement, axiom of substitution