非直谓集合论
1993年公布的数学名词
非直谓集合论(impredicative set theory)是1993年公布的数学名词,出自《数学名词》第一版。
公布时间
1993年,经全国科学技术名词审定委员会审定发布。
出处
《数学名词》第一版。
参考资料
非直谓集合论.术语在线.
最新修订时间:2022-08-17 21:12
目录
概述
公布时间
出处
参考资料