置換公理

3行要約

1. ある集合の各要素を別の要素に置き換えたものも、また集合であるとする公理。
2. 集合のサイズを大きくする操作を許容し、巨大な序数の存在を保証する。
3. ツェルメロ・フレンケル集合論において、強力な構成能力を持つ公理。