反復的な集合（iterative conception）とは何かを知りたくて読んだのだが、わからなかった。 ラッセルのパラドクスで有名な集合は矛盾を含むことからはじまり、ZFの公理は無矛盾であり、素晴らしいことを説いている。 置換公理によって、多くの望ましい帰結…