证明论的转向

更新时间:-- | 阅读量: 182

以色列数学家。生于德国慕尼黑,卒于耶路撒冷。...不久他转向集合论,致力于证明策梅洛(E.Zermelo)公理系统的独立性。他在对策梅洛的系统作出适当修改并借助于一个不属于该系统的无穷集合后,证明了选择公理的独立性。弗伦克尔在1922年对 ...

搜索到与“ 证明论的转向”相关的文献共 0

查看更多

证明论的转向相似词

证明论的转向相关词

证明论的转向相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号