相關詞條
-
希爾伯特公理體系
希爾伯特公理體系簡稱歐氏幾何，主要是以歐幾里得平行公理為基礎的幾何學。
希爾伯特公理體系 正文 配圖 相關連線 -
羅素公理體系
羅素公理體系--即有符合條件的書的確構成了一個集合，因為它們可以與其它的書進一步構成更大的整體（集合的定義）--比如它們和不符合條件的書共同構成了圖書館...
簡介 不加定義的概念 類的外延公理 類的內涵與羅素悖論 真類與集合 -
幾何公理體系的基本問題
幾何公理體系的基本問題包括公理體系的相容性、獨立性和完備性。是D.希爾伯特在《幾何基礎》一書中為完善歐幾里得幾何公理系統、各公理組間的邏輯關係而提出的。
幾何公理體系的基本問題 幾何公理體系的3個基本問題 -
公理
公理是一個漢語辭彙，讀音為gōng lǐ，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。 在數學中，公理這...
歷史發展 詞語概念 公理系統 實例 公理集合論 -
泛布爾代數公理體系
泛布爾代數公理體系是泛布爾代數中的量，只取“0”和“1”兩個不同的值，稱為邏輯值。0、1又叫做邏輯常量。
基本概念 泛布爾代數公理系統 -
連續公理
連續公理是基本的幾何公理之一。指希爾伯特-歐幾里得幾何系統公理表中的第四組公理。它包含2條連續公理。 應當指出，在德國數學家希爾伯特(D.Hilbert...
公理簡介 基本幾何公理 結合公理 順序公理 契約公理 -
公理系統
數學上，一個公理系統（或稱公理化系統，公理體系，公理化體系）是一個公理的集合，從中一些或全部公理可以用來一起邏輯的導出定理。
簡介 性質 模型 公理化方法 例子 -
歐幾里德公理系統
歐幾里德幾何公理系統是早期數學中最有影響的公理系統，大約提出於公元前3世紀。歐幾里德的公理系統E的結構是形式公理系統的前身，展示了數學知識之間的邏輯關係...
基本介紹 相關介紹 套用舉例 -
大基數公理
大基數公理(large cardinal axioms)是關於大基數存在的一類新加公理。大基數的種類很多。一般地，P(α)都是ω(其基數為0)的某個性質...
概念 大基數 研究歷史 公理集合論 -
契約公理
契約公理(axiom of congruence)是建立圖形相等關係的公理，它是希爾伯特公理體系中的第Ⅲ組公理。亦稱“全合公理”、“疊合公理”、“全等公...
公理介紹 契約公理的推論
