In this lecture I described classical axiomatic set theory and the axiom system $ZFC$ and the classical iterative notion of set that is supposed to be used to justify the axiom system. I then discussed the system $IZF$ of Intuitionistic $ZF$ and finally the axiom system $CZF$. See sections 1 and 2 of Notes on Constructive Set theory - for most parts of lecture 9. But the classical iterative notion of set is not described there.
See Lecture 10
Draft. Last Revised: 28th May, 1998.