The iterative conception of set (1971)

by George S Boolos