From their work emerged the axiom schema of replacement.

• 从他们的工作促成了替代公理。