The typical move in formulating set theories based on intuitionistic logic is then to replace foundation with the classically equivalent schema of set induction, which does not have the same “side effects” but has similar  consequences.[1]