公理A（axiom A）是1993年公布的數學名詞。
基本介紹
- 中文名：公理A
- 外文名：axiom A
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
公理A
相關詞條
- 公理A
公理A 公理A（axiom A）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 公理(漢語辭彙)
公理是一個漢語辭彙，讀音為gōng lǐ，是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。在數學中，公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義...
- 實數公理系統
1.（反對稱性） 若 a b 且 b a 那么 a=b 。2.（傳遞性） 若 a b 且 b c 則 a c 。3.（與運算的相容性）若 a b，則 a+c b+c ；若 a 0 且 b 0，則 ab 0 。註：對於序公理a，b這兩種...
- 順序公理
順序公理(axiom of order)亦稱“次序公理”，是有關基本元素“點”、“直線”、“平面”有“…介於…之間”介於關係的公理。希爾伯特公理系統的順序公理是：Ⅱ₁．若A，B，C是直線a的三個不同點且點B介於A與C之間，那么點B也...
- 角邊角公理
角邊角公理（ASA）：兩個三角形對應的兩角及其夾邊相等，兩個三角形全等。經過翻轉、平移後，能夠完全重合的兩個三角形叫做全等三角形，角邊角公理是證明是兩三角形全等的重要公理之一。三角形 三角形是由同一平面內不在同一直線上的三...
- 相對正確公理
有研究者將其命名為“相對正確”公理(True relatively Axiom, TRA)，也稱之為“共識機制”。成立條件 如圖TRA邏輯概念圖所示，公理成立的前提條件 ① A₁～A都是具有獨立完成給定任務的能力的成員；② A能正確完成任務是大機率事件；...
- 佩亞諾公理
皮亞諾的這五條公理用非形式化的方法敘述如下：1是自然數；每一個確定的自然數a，都有一個確定的後繼數a'，a'也是自然數（一個數的後繼數就是緊接在這個數後面的數，例如，1的後繼數是2，2的後繼數是3等等）；對於每個自然...
- 公理宗
約翰·歐文John Owen (1616-83年)，著有《The Nature of a Gospel Church》，後來成為公理會中心教義；約拿單·愛德華茲（Jonathan Edwards, 1703-1758年），北美大覺醒重要人物之一。艾碧該·亞當斯（Abigail Adams，1744－1818）裨治...
- 帕施公理
帕施公理(Pasch axiom)是幾何學中關於順序關係的一條重要公理。設A，B，C是不共線的三點，a是平面ABC上不通過A，B，C中任一點的直線，若a上有一點介於A，B之間，則它必有另一點介於A，C之間或B，C之間。這個公理是帕施(M....
- 皮亞諾公理
在後來的著作中，皮亞諾對這一算術系統作了修改，去除了關於“相等”的四條公理，並且以0取代1作為基本概念，構造了沿用的皮亞諾算術公理系統。定義 目的是定義自然數集合，首先需要承認的是集合具有的一些運算性質，例如：a=b時a,b...
- 和集公理
配對與並集公理一起蘊涵了對於任何兩個集合，都有一個集合恰好只包含這兩個集合的元素。樸素集合論中兩個集合的並集在這裡是這兩個集合的配對集合的並集，比如集合A={a}和集合B={b}，它們的對是{{a},{b}}，這個對的並集是{a,...
- 實數公理
注1：公理6中的乘法零元即為4中的加法零元，且公理6是可以從之前的公理中推導出來的，因此也可以不單獨列為公理；注2：公理4、公理5、公理6中的“存在唯一的元素”也可以改為“存在元素”，唯一性可以由公理推導得到 序公理 (a...
- 邊角邊公理
邊角邊公理是兩邊和它們夾角對應相等的兩個三角形全等。經過翻轉、平移後，能夠完全重合的兩個三角形叫做全等三角形，邊角邊公理是判斷兩個三角形全等的重要公理之一。三角形 三角形是由同一平面內不在同一直線上的三條線段‘首尾’順次...
- 初等集公理
根據外延公理，空集是唯一確定的。在公理集合論中，空集是構造其他集合的原料，它保證集合論有研究對象，不會言之無物。第二部分稱為無序偶公理，它斷言：“對於任何集a、b，存在一個以且僅以a、b為元素的集合。”這個集也是唯一確定...
- 結合公理
結合公理(axiom of incidence)是基本的幾何公理之一，亦稱關聯公理或從屬公理，是規定基本對象點、直線、平面之間從屬關係的一組公理，是希爾伯特公理系統中的第Ⅰ組公理。基本內容 結合公理包含8條結合公理：Ⅰ₁.對於任意兩個不同的點A...
- 強橫截條件
公理A 這是斯梅爾為刻畫結構穩定性提出的一種關於非遊蕩集的條件。這個概念在流和離散系統中形式上平行地出現，但由於基礎是雙曲集的概念，實際上蘊涵著重要的不同。這裡就離散情形加以說明。稱一個微分同胚f滿足公理 A，如果非遊蕩集Ω...
- godel定理
公理A：X 所謂形成規則是指由初始符號如何構成有意義的字元串。對SFT而言，不需要形成規則，或者說所有的字元串都是有意義的。變形規則，一共兩條：D1, 可由X變形為XX.D2, 可由XX變形為Xx.由公理X出發，通過變形得到的就是這個...
- 作用代數
克萊尼代數是用準等式公理化的，就是說，暗含在兩個或更多等式之間，在直接以這種方式公理化的時候作用代數也是如此。使作用代數有特殊價值的是它們有等價的純粹等式公理化。在後面我們寫不等式 a≤ b作為等式 a∨ b= b的簡寫。這...
- GB系統
A組公理 1.cla(x)(任意集合x都是類)。2.X∈Y→m(X)(類的任意元都是集合)。3.(x∈X→x∈Y)→X=Y(類的外延公理)。4.無序對公理。B組公理(類的存在公理)1.存在一類E，它的元素都是有序對集合，並且該有序對的第一...
- 策梅洛集合論
給出了外延、空集合、並集合、冪集合、分離、無窮與選擇等公理，A.A.弗倫克爾和A.T.斯科朗又作了改進，增加了替換公理，J.馮·諾伊曼進一步提出了正則公理，後經策梅洛的總結構成了著名的集合論公理系統ZF，形成了公理集合論的主要...
