Extending the extensional level of the Minimalist Foundation to axiomatic set theories
We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.