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).

单词	Constructive set theory
释义	Constructive set theory 英语百科 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).
随便看	servs SERV, SV servulate Servus servuss Servus Servorum Dei servus terrae Servy Serwaru serwer seryff seryl Serylan seryl group Seryl Phosphate seryls Seryltrihydroxybenzylhydrazine Seryltrihydroxy Benzylhydrazine seryl trihydroxybenzyl hydrazine Seryl T RNA Synthetase Seryl tRNA Synthetase serymonie seryozha Serzh Serzone