Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first-order language of classical set theory, and although of course the logic is constructive, there is no explicit use of constructive types. Rather, there are just sets, thus it can look very much like classical mathematics done on the most common foundations, namely the Zermelo–Fraenkel axioms (ZFC).
Read more about Constructive Set Theory: Intuitionistic Zermelo–Fraenkel, Myhill's Constructive Set Theory, Aczel's Constructive Zermelo–Fraenkel, Interpretability in Type Theory, Interpretability in Category Theory
Famous quotes containing the words constructive, set and/or theory:
“Friendship among nations, as among individuals, calls for constructive efforts to muster the forces of humanity in order that an atmosphere of close understanding and cooperation may be cultivated.”
—Franklin D. Roosevelt (1882–1945)
“Through dinner she felt a gradual icy coldness stealing through her like novocaine. She had made up her mind. It seemed as if she had set the photograph of herself in her own place, forever frozen into a single gesture.”
—John Dos Passos (1896–1970)
“Thus the theory of description matters most.
It is the theory of the word for those
For whom the word is the making of the world,
The buzzing world and lisping firmament.”
—Wallace Stevens (1879–1955)