更新时间:-- | 阅读量: 182
以色列数学家。生于德国慕尼黑,卒于耶路撒冷。...不久他转向集合论,致力于证明策梅洛(E.Zermelo)公理系统的独立性。他在对策梅洛的系统作出适当修改并借助于一个不属于该系统的无穷集合后,证明了选择公理的独立性。弗伦克尔在1922年对 ...
搜索到与“ 证明论的转向”相关的文献共 0条
《中国循证心血管医学杂志》
《证券法律评论》
《发明与创新(小学生)》
《党建》
《北京联合大学学报(自然科学版)》
《人大法律评论》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号