[Revised entry by Laura Crosilla on February 22, 2024.
Changes to: Main text, Bibliography]
Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970’s and they represent a formal context within which to codify mathematics based on intuitionistic…
Originally appeared on Stanford Encyclopedia of Philosophy Read More
Post Views: 7