  In set theories based on intuitionistic logic, predicativity is usually achieved by restricting the principles of separation and power set, as these appear to be the main sources of impredicativity (when the infinity axiom is assumed). 