相關詞條
-
公理
公理是一個漢語辭彙,讀音為gōng lǐ,是指依據人類理性的不證自明的基本事實,經過人類長期反覆實踐的考驗,不需要再加證明的基本命題。 在數學中,公理這...
歷史發展 詞語概念 公理系統 實例 公理集合論 -
公理集合論
公理集合論(axiomatic set theory)是數理邏輯的主要分支之一,是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
選擇公理
選擇公理(Axiom of Choice,縮寫AC)是數學中的一條集合論公理,以下用一個較簡單的描述: 選擇公理 設C為一個由非空集合所組成的集合。那么...
公理介紹 定義 簡單描述 變體 相關術語 -
連續公理
連續公理是基本的幾何公理之一。指希爾伯特-歐幾里得幾何系統公理表中的第四組公理。它包含2條連續公理。 應當指出,在德國數學家希爾伯特(D.Hilbert...
公理簡介 基本幾何公理 結合公理 順序公理 契約公理 -
實數公理
)的集合,並且這些運算和次序滿足規定的公理。由這些公理可以推出實數的一切性質。
概述 實數系的公理系統 實數模型 實數的基本定理 -
直線公理
直線公理的內容是:(1)經過兩點只有一條直線。或者,兩點確定一條直線;(2)兩條直線相交,只有一個交點 。
基本內容 套用舉例 直線的相關公理 -
外延公理
外延公理,在公理化集合論與使用它的邏輯、數學和計算機科學分支中,外延性公理或外延公理是Zermelo-Fraenkel集合論的公理之一。在 Zermel...
外延公理 相關他們 -
公理系統
數學上,一個公理系統(或稱公理化系統,公理體系,公理化體系)是一個公理的集合,從中一些或全部公理可以用來一起邏輯的導出定理。
簡介 性質 模型 公理化方法 例子 -
集合論公理系統
集合論公理系統(axiom systems for set theory)公理集合論的基礎部分。如同平面幾何中的點、線、面一樣,集合是一個不加定義的原始...
基本介紹 羅素悖論 符號和基本概念 集合公理 -
結合公理
結合公理(axiom of incidence)是基本的幾何公理之一,亦稱關聯公理或從屬公理,是規定基本對象點、直線、平面之間從屬關係的一組公理,是希爾...
基本內容 詳細介紹