Some properties of intuitionistic zermelo-frankel set theory