相關詞條
-
策梅洛，E.F.F.
德國數學家，公理集合論的主要開創者之一。1871年7月27日生於柏林，1953年5月21日卒於弗賴堡。1889年大學畢業後,研究數學、物理和哲學,18...
策梅洛，E.F.F. 正文 配圖 相關連線 -
公理集合論
原理簡介第一個常用的公理系統是E.F.F.策梅洛和A.A.弗倫克爾等...里馬諾夫首先提出良基集的概念。1922年弗倫克爾在策梅洛原來的公理系統...。1925年J.馮·諾伊曼，稱它為正則公理。1930年策梅洛也獨立地引...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
良序定理
.1904年，德國數學家策梅洛(Zermelo，E.F.F.)給出了選擇公理...之後，費利克斯·豪斯多夫在他的證明中發現了一個錯誤。恩斯特·策梅洛接著引...的證明方法。 所有集合都是可良序的。集合論的重要定理之一。德國邏輯學家策梅...
定義 基本概念 與選擇公理的關係 意義 -
希爾伯特計畫
矛盾。實際上，希爾伯特所創立的形式公理法當時已被廣泛沿用，E.F.F.策梅洛據以建立的第一個集合論公理系統即公理集合論已能排斥已知集論悖論，同時...
簡介 希爾伯特計畫的陳述 背景 內容 主要步驟 -
近代公理集合論
導致了近代公理集合論的發展.第一個擔負起集合論公理化任務的是德國數學家策梅洛 (Zermelo , E. F. F. ).他在1908年建立了他...
綜述 發展
