Robuta

https://plato.stanford.edu/archives/win2017/entries/set-theory-constructive/axioms-CZF-IZF.html Set Theory: Constructive and Intuitionistic ZF Axioms of CZF and IZF (Stanford Encyclopedia of... set theory zf axioms stanford encyclopedia constructive intuitionistic