公理化（axiomatization）是2003年公布的自然辯證法名詞，出自《自然辯證法名詞》第一版。
基本介紹
- 中文名：公理化
- 外文名：axiomatization
- 所屬學科：自然辯證法
- 公布時間：2003年
公布時間,出處,
公理化
相關詞條
- 公理化
公理化 公理化（axiomatization）是2003年公布的自然辯證法名詞，出自《自然辯證法名詞》第一版。公布時間 2003年，經全國科學技術名詞審定委員會審定發布。出處 《自然辯證法名詞》第一版。
- 公理化和形式化
公理化的實現就是：①從它的諸多概念中挑選出一組初始概念，該理論中的其餘概念，都由初始概念通過定義引入，稱為導出概念；②從它的一系列命題中挑選出一組公理，而其餘的命題，都套用邏輯規則從公理推演出來，稱為定理。套用邏輯規則...
- 公理化思想
公理化思想是指以某些命題為前提，只用它們，不用其他假設進行推理而建立數學理論的思想。支撐近現代數學的基本思想。早在公元前 3 世紀，希臘數學家歐幾里得用由反覆實踐所證實而被認為不需要證明的少數命題為前提，用邏輯推理的方法，將...
- 數學公理化方法
公理化方法的作用和意義是:1.分析、總結數學知識.凡取得了公理化結構形式的數學，由於概念和定理均已按照邏輯演繹關係串聯起來，就有理由認為它是更有根據、邏輯清楚的，使用起來也更方便.2.比較各科數學實質性的異同，有助於發現新問題...
- 公理化位勢論
公理化位勢論（axiomatic potential theory）是在抽象空間裡通過設定公理的方法建立起來的位勢理論。簡介 公理化位勢論是在抽象空間裡通過設定公理的方法建立起來的位勢理論。分類 公理化體系大致可分成三類。第一類是調和空間論，第二類是...
- 公理系統
第一個公理系統是歐氏幾何。公理化方法 公理化方法經常被作為一個單一的方法或著一致的過程來討論。以歐幾里得為榜樣，它確實在很多世紀中被這樣對待：直到19世紀初葉，在歐洲數學和哲學中古希臘數學的遺產代表了智力成就（在幾何學家的...
- 公理化真理論研究
全書內容從三個方面進行：第一個方面：以尋求能夠避免說謊者悖論及其變體的“理想真理論”為線索，對以一階邏輯和皮亞諾算術為基礎理論的經典公理化真理論的基本理論和研究架構進行概述。第二個方面：減弱經典公理化真理論的基礎理論，將...
- 公理化量子場論
公理化量子場論（axiomatic quantum field theory）是用嚴格的公理來描述量子場論的一門數學學科。它與泛函分析和運算元代數密切相關，但近年來也從更加幾何、更加泛函的角度進行了研究。在這個學科中有兩個主要的挑戰。首先，人們必須提出一...
- 可有限公理化
可有限公理化 可有限公理化(finitely axiomatizable)模型論術語.若驢中的理論T與驢中一個有限語句集合有相同的推論，則稱理論T是可有限公理化的.
- 公理化場論
公理化場論 公理化場論（axiomatic field theory）是2019年公布的物理學名詞。公布時間 2019年，經全國科學技術名詞審定委員會審定發布。出處 《物理學名詞》第三版。
- 可遞歸公理化
可遞歸公理化 可遞歸公理化是模型論術語。可遞歸公理化(recursively axiomatizable)模型論術語.若獷中的理論T與丫中一個遞歸語句集合有相同的推論，則稱理論T是可遞歸公理化的.
- 公理集合論
公理集合論（axiomatic set theory），是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。19世紀70年代，德國數學家G.康托爾給出了一個比較完整的集合論，對無窮集合的...
- 幾何的公理化方法
《幾何的公理化方法》是2017年1月1日世界圖書出版公司出版的一本書，作者是Francis，Borceux 。內容簡介 本書以幾何公理化方法的歷史發展成果為基礎，系統給出了歐幾里得幾何、非歐幾里得幾何和投影幾何研究的現代方法。公理化幾何是形式化...
- 公理化集合論機器證明系統
《公理化集合論機器證明系統》是2019年12月科學出版社出版的圖書，作者 是郁文生、孫天宇、付堯順。圖書簡介 布爾巴基學派的序、代數、拓撲三大母結構是現代數學的基礎.利用計算機證明輔助工具,可以完整構建這三大母結構的形式化系統.本書...
- 並集公理
在公理化集合論和使用它的邏輯、數學和計算機科學分支中，並集公理是Zermelo-Fraenkel集合論的公理之一。它聲稱對於任何集合A有一個集合B，它的元素完全是A的元素的元素。定義 若x為集合，y為集合，則x∪y為集合。概念 在Zermelo-...
- 集合論公理系統
集合論公理系統(axiom systems for set theory)公理集合論的基礎部分。如同平面幾何中的點、線、面一樣，集合是一個不加定義的原始概念。為了克服羅素悖論，人們試圖把集合論公理化，用公理對集合加以限制。第一個常用的公理系統是策梅...
- 真之公理化理論
《真之公理化理論》是科學出版社出版的圖書。內容簡介 《真之公理化理論》用公理化方法研究哲學的核心概念“真”，即將真視為一個不通過其他概念來定義的初始概念，通過一組公理與規則研究真的演繹系統，及其相關的結果。《真之公理化...
- 關於評價的套用基礎理論公理化研究與構建
《關於評價的套用基礎理論公理化研究與構建》是依託上海交通大學，由吳瑞明擔任項目負責人的面上項目。項目摘要 評價是人們在任何決策過程中都不可逾越的必然階段，它的兩難與永恆促進了評價理論方法套用的極大發展，評價方法推陳出新，但...
- 幾何三部曲·第1卷:幾何的公理化方法
《幾何三部曲·第1卷：幾何的公理化方法》是2017年世界圖書出版公司出版的著作，作者是Francis Borceux 。內容簡介 本書以幾何公理化方法的歷史發展成果為基礎，系統給出了歐幾里得幾何、非歐幾里得幾何和投影幾何研究的現代方法。公理化幾何...
- 公理化熱力學的數學基礎
公理化熱力學的數學基礎 《公理化熱力學的數學基礎》是哈爾濱工業大學出版社出版的圖書，作者是趙興龍。內容介紹 本書把熱力學公理化。內容包括熱力學基本概念，基本公理，熱力學第二定律的數學公式克勞修斯方程式的推導。
- 基於測度論的系統評價公理化研究
《基於測度論的系統評價公理化研究》是依託上海交通大學，由吳瑞明擔任項目負責人的面上項目。項目摘要 現實表明，系統評價已從單一目的擴展到自然、經濟和社會評價的廣泛需求，評價方法推陳出新，仁者見仁，智者見智，客觀上提出了加強套用...
- 遞歸可公理化
遞歸可公理化 遞歸可公理化（recursively axiomatizable）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 公理(漢語辭彙)
” 葉聖陶 《倪煥之》十九：“世界有強權，沒有公理啊！”2.在一個系統中已為實踐所反覆證明而被認為無須再證明的真理。如“等量加等量其和相等”，就是公理。公理系統 公理系統（axiomatic system）就是把一個科學理論公理化，用公理...
- 冪集公理
在數學中，冪集公理是公理化集合論的Zermelo-Fraenkel公理中的一個。這個公理說明：“對於任何一個集合A，存在著一個集合B，它的元恰是A的各個子集。基本介紹 這個公理說明:“對於任何的x，存在著一個集合y，使y的元素是而且只會是...
- 主觀辯證法公理化
主觀辯證法公理化 《主觀辯證法公理化》是2018年西北大學出版社出版的圖書。
- 無窮性公理
集合論中肯定無窮集合存在的公理。在公理化集合論和使用它的邏輯、數學和計算機科學中，無窮性公理是 Zermelo-Fraenkel 集合論的公理之一。建立過程 G.F.P.康托爾在建立集合論時，發現僅靠邏輯公理不能保證有無窮集合存在，因為沒有一...
- 系統化證明方法
系統化數學證明的歷史可以追溯到古希臘數學。從現有的資料看，最早進行公理化證明方法的是泰勒斯，他進行了幾何的證明。他的證明得到後來的歐幾里德的多次引用。最早提出數學證明概念的人可能是畢達哥拉斯。他提出數學命題應該給予嚴格的證明...
- 歐幾里得幾何
真正重要的是歐幾里德在書中創造的公理化方法。這部科學著作是發行最廣而且使用時間最長的書。後又被譯成多種文字，共有二千多種版本。它的問世是整個數學發展史上意義極其深遠的大事，也是整個人類文明史上的里程碑。兩千多年來，這部...
