constructive set theory

axiomatic set theories based on the principles of mathematical constructivism

Categories: