《数学机械化》中组集合完备化定理的改进研究  

作　　者：于健[1] 蒋鲲[2] 

机构地区：[1]大庆师范学院科研处,黑龙江大庆163712 [2]黑龙江大学教务处,黑龙江哈尔滨150080

出　　处：《大庆师范学院学报》2010年第3期72-73,共2页Journal of Daqing Normal University

摘　　要：对科学出版社吴文俊先生所著《数学机械化》中的定理4.1.27的充分性进行了讨论,给出了一个新结果,这个结果改进了原定理的结论。

关 键 词：数学机械化 集合 完备化 

分 类 号：O29[理学—应用数学]