Constructive set theory
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).
primaryTopic
Constructive set theory
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).
has abstract
Constructive set theory is an ...... Zermelo–Fraenkel axioms (ZFC).
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
725,365,944
hypernym
type
comment
Constructive set theory is an ...... Zermelo–Fraenkel axioms (ZFC).
@en
label
Constructive set theory
@en