Before revision: Constructivism also includes the study of constructive set theories such as CZF and the study of topos theory.
After revision: Constructivism also includes the study of constructive set theories such as CZF and the study of