置換公理模式

置換公理模式(axiom scheme of replacement )指的是ZFC公理系統中的一條公理模式。它的涵義是：“對於任何元函式f，如果它的定義域a是一個集，則它的值域也是一個集。“當選定一個集作為定義域用，對應於每一個函式，就有一個值域由於函式的無限性，它就相應確定無限多個值域所成的集，而是無限多條公理的統一形式。故稱公理模式。

1961年蒙太古(Richard Montague) 證明它不可能寫成集合論基本語言中的一條公理：它是ZFC系統中惟一的公理模式，由它可推出空集與無序偶的存在性和分離定理模式。所以康托爾·羅素等悖論都不能在ZFC 中成立。此外，它也是構造大集合的一個重要工具。