bn:03287813n
Noun Named Entity
JA
構成的集合論
EN
Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. Wikipedia
Relations
Sources