相關詞條
-
ZF公理系統
來源 在集合論創建的初期，Cantor是以所謂“樸素”的觀點來看待集合的，他建立了廣泛而深刻的集合理論，但是他沒有明確對於已知集合，哪些操作是合法的。為...
公理化集合論 說明及套用 -
公理
公理是一個漢語辭彙，讀音為gōng lǐ，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。 在數學中，公理這...
歷史發展 詞語概念 公理系統 實例 公理集合論 -
公理集合論
公理集合論（axiomatic set theory）是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
選擇公理
選擇公理（Axiom of Choice，縮寫AC）是數學中的一條集合論公理，以下用一個較簡單的描述： 選擇公理 設C為一個由非空集合所組成的集合。那么...
公理介紹 定義 簡單描述 變體 相關術語 -
大基數公理
大基數公理(large cardinal axioms)是關於大基數存在的一類新加公理。大基數的種類很多。一般地，P(α)都是ω(其基數為0)的某個性質...
概念 大基數 研究歷史 公理集合論 -
集合論公理系統
集合論公理系統(axiom systems for set theory)公理集合論的基礎部分。如同平面幾何中的點、線、面一樣，集合是一個不加定義的原始...
基本介紹 羅素悖論 符號和基本概念 集合公理 -
空集公理
其實，空集公理通常在無窮公理中被重複了，後者構造了一個集合，其中有一元素為空集。 但是，有些公理化中，無窮公理所構造的集合併不被要求包含空集（例如包含一...
-
可構造性公理
可構造性公理(axiom of constructibility)是集合論的一條重要公理，該公理斷言：所有集合都是可構造的。哥德爾(K.Gödel)為了...
基本介紹 可構造性 -
集合存在性公理
集合存在性公理(existence axiom of set)是GB系統的集合論公理，指GB系統中的第3組(即C組)公理，共有4條，包括無窮公理，並集公...
基本介紹 無窮公理 並集公理 冪集公理 替換公理 -
正則公理
正則公理是集合論的ZF公理系統中的一條公理。 2、所有集合組成的集合：如果這個集合存在，那么根據第一條必然不是自身的元素，但是與定義矛盾。 注意正則公理...
