相關詞條
-
公理
公理，英文名：axiom，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。
詞語釋義 套用實例 公理系統 公理集合論 公理化方法 -
冪集公理
給定任何集合 冪集公理允許定義兩個集合 。
推論 -
公理集合論
公理集合論是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。
公理集合論 正文 配圖 相關連線 -
公理系統
and accept extra models）。 3. 我的公理集定義...簡介 數學上，一個 公理系統（或稱 公理化系統， 公理體系， 公理化體系）是一個 公理的 集合，從中一些或全部公理可以用來一起邏輯的導出 定理...
-
集合論公理系統
集合論公理系統axiom systems for set theory 公理集合論的基礎部分。如同平面幾何中的點、線、面一樣，集合是一個不加定義的原始概念。
集合論公理系統 正文 配圖 相關連線 -
選擇公理
“選擇公理”有很多等價的形式（equivalent form），以下用一個較簡單的描述：選擇公理設C為一個由非空集合所組成的集合。那么，我們可以從每一個...
選擇公理 正文 配圖 相關連線 -
配對公理
配對公理，是在公理化集合論和使用它的邏輯、數學和計算機科學分支的Zermelo-Fraenkel集合論的公理之一。
簡介 形式陳述 解釋 一般化 其他等價公理 -
替代公理
在公理化集合論和使用它的邏輯、數學和計算機科學分支中，替代公理模式是 Zermelo-Fraenkel 集合論的一個公理模式，它本質上斷言一個集合在一個...
概述 參考 -
子集公理模式
公理集合論（見集合論）的一個公理模式，也稱為分離公理模式。超窮遞歸定理的證明離不開替換公理，而且在定義序數運算和討論集合論的模型時也都離不開替換公理。
子集公理模式 正文 配圖 相關連線 -
實數公理
R x+y=y+x。 加法公理說明，R
定義 概述 實數集的公理系統一 實數集的公理系統二 實數模型
