反復的集合観(2)
ブーロスの反復的集合観って、いったい何だったんだろうという疑問があった。テイトに以下のような文章がある。
The term "iterative conception" has also been used in the literature to refer, not to this autonomously generated hierarchy, but to the sets in the hierarchy obtained from the null domain by iterating the operation p along some given system of ordinals. (W.Tait, "Foundations of set theory", in H.Dales&G.Oliveri (eds.), Truth in Mathematics, Clarendon Press, 1998, p. 274)
自分としてはこれで納得がいった。ブーロスはstageの存在を前提しているし。分析的な反復的集合観と、総合的なものがあるということだ。ツェルメロは本当に後者だったのだろうか。