I'm working in ZFC and wondering which axioms can be considered constructive. I find Axioms of Pair, Union, Empty Set, Infinite, Power Set and Replacement to be clearly constuctive. Choice and Regularity/Foundation are non-constructive.
I've read here that constructive Zermelo-Fraenkel considers Extensionality. How is Extensionality constructive?