Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03287813n
Noun Named Entity
Categories: Systems of set theory, Intuitionism, Constructivism (mathematics)
EN
constructive set theory  Constructivist set theory  CZF  intuitionistic set theory  Intuitionistic Zermelo-Fraenkel
EN
Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. Wikipedia
Definitions
Relations
Sources
EN
Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. Wikipedia
axiomatic set theories based on the principles of mathematical constructivism Wikidata
IS A
alternative set theory
axiomatic set theory
BASED ON
intuitionistic logic
Wikipedia
EN
constructive set theory
Wikidata
EN
constructive set theory
Wikipedia Redirections
EN
Constructivist set theory, CZF, intuitionistic set theory, Intuitionistic Zermelo-Fraenkel, Intuitionistic Zermelo–Fraenkel, IZF, Myhill's constructive set theory
Wikidata Alias
EN
CZF

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License