ZFC公理集合論系統 - 中文百科知識

ZFC公理集合論系統(ZFC axiomatic set theo- ry system)一種近代公理集合論系統.它是第一個公理集合論系統，由德國數學家策梅洛(Zermelo , E. F. F.)於1908年建立， ... ZFC公理集合論系統 ZFC公理集合論系統(ZFCaxiomaticsettheo-rysystem)一種近代公理集合論系統.它是第一個公理集合論系統，由德國數學家策梅洛(Zermelo,E.F.F.)於1908年建立，後經德國學者弗倫克爾(Fraenkel,A.A.)和挪威數學家斯科朗(Skolem,A.T.)的改進逐步形成現行的ZFC系統.內容ZFC系統中有下列10條非邏輯的集合論公理:即外延公理、對偶公理、空集公理、子集公理、並集公理、冪集公理、無窮性公理、選擇公理、替換公理和正則公理.解析應當指出，這些公理並不是全都彼此獨立的，並且有些公理是公理模式，因而是無窮多條公理.其中替換公理是由弗倫克爾和斯科朗提出來的，而正則公理是由美籍匈牙利數學家馮·諾伊曼(vonNeumann,J.)提出的，其作用是在系統中排除那些不正常的集，如本身分子集等，由此而有效地避免了悖論在ZFC系統中的出現.ZFC公理集合論系統與其他公理集合論系統相比較，顯得較為自然、直觀和使用方便，因而被普遍採用為經典數學的理論基礎.ZFC系統中已經有效地排除了已被發現的悖論的出現，並且迄今未發現有新的悖論出現，但也沒有從理論上直接證明永遠不可能出現悖論.相關詞條 公理集合論 公理集合論（axiomaticsettheory）是數理邏輯的主要分支之一，是用公理化方法重建(樸素)集合論的研究以及集合論的元數學和集合論的新的... 原理簡介   詳細內容   替換公理   自然數   極限序數 近代公理集合論 近代公理集合論(modernaxiomaticsettheory)公理集合論的一個分支.指20世紀初葉建立和發展起來的種種各有其自身公理體系的集合理論 綜述   發展 集合論 數學的一個基本的分支學科，研究對象是一般集合。

集合論在數學中占有一個獨特的地位，它的基本概念已滲透到數學的所有領域。

集合論或集論是研究集合（由一堆抽象物... 簡介   基礎概念   存在異議   歷史作用   早期研究 公理 公理是一個漢語辭彙，讀音為gōnglǐ，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。

在數學中，公理這一... 歷史發展   詞語概念   公理系統   實例   公理集合論 可構造性公理 可構造性公理(axiomofconstructibility)是集合論的一條重要公理，該公理斷言：所有集合都是可構造的。

哥德爾(K.Gödel)為了... 基本介紹   可構造性 NBG公理系統 在數學基礎中，馮·諾伊曼-博內斯-哥德爾集合論（vonNeumann–Bernays–GödelSetTheory，NBG）是設計生成同... 簡介   分類 ZF公理系統 來源在集合論創建的初期，Cantor是以所謂“樸素”的觀點來看待集合的，他建立了廣泛而深刻的集合理論，但是他沒有明確對於已知集合，哪些操作是合法的。

為... 公理化集合論   說明及套用 選擇公理 選擇公理（AxiomofChoice，縮寫AC）是數學中的一條集合論公理，以下用一個較簡單的描述：選擇公理設C為一個由非空集合所組成的集合。

那么... 公理介紹   定義   簡單描述   變體   相關術語 策梅洛集合論 《策梅洛集合論》是1908年出版的圖書，作者是（德）策梅洛。

本書主要是對作者集合論知識的理論提出和發展的講解。

書籍介紹   作者簡介 熱門詞條c語言Extreme九天神話京元電子股份有限公司你們要快樂傑米·坎貝爾·鮑爾刀劍Online巧克力火鍋幼女成長痛數字家庭曉省立醫院職業棒球胡立陽蒜頭雞湯西鐵城說話的技巧謝孟媛迷戀除息隻身在荒島黑膠唱片龍五123456789AIOdinnerGalGameKUOTAXpadderz10中國青年旅行社光波后街男孩周朝太陽的女兒曼德拉的一生渦輪風扇紐約洋基網路遊戲蘭蔻香水襪子許家印雪鷹BHTJersey體罰劉文正我要自學網桃園翰品酒店類流感紅蔥頭ZFC公理集合論系統@百科知識中文網