  Constructive and intuitionistic Zermelo-Fraenkel set theories are based on intuitionistic rather than classical logic, and  represent a natural environment within which to codify and study  mathematics based on intuitionistic logic.  For constructive ZF, the main focus has been  to represent the mathematical practice of Bishop (Bishop 1967, Bishop and Bridges 1985).