Intuitionistic set theory

<p>We describe the formal system of higher—order intuitionistic logic with power types and (impredicative) comprehension which provides the basis for our "set theory"; this is adapted from the system of FOURMAN (D.Phil. Thesis, Oxford 1974), and such theories are equivalent to the no...