公理化理論是1993年全國科學技術名詞審定委員會公布的數學名詞。
基本介紹
- 中文名：公理化理論
- 外文名：axiomatic theory
- 所屬學科：數學
- 公布年度 ：1993
出處,公布時間,
公理化理論
相關詞條
- 公理化理論
公理化理論是1993年全國科學技術名詞審定委員會公布的數學名詞。出處《數學名詞》第一版1公布時間1993年，經全國科學技術名詞審定委員會審定發布。...
- 公理化方法
公理化方法能系統的總結數學知識、清楚地揭示數學的理論基礎，有利於比較各個數學分支的本質異同，促進新數學理論的建立和發展。現代科學發展的基本特點之一，就是科學理論的數學化，而公理化是科學理論成熟和數學化的一個主要特徵。公理化...
- 公理化思想
公理化思想是指以某些命題為前提，只用它們，不用其他假設進行推理而建立數學理論的思想。支撐近現代數學的基本思想。早在公元前 3 世紀，希臘數學家歐幾里得用由反覆實踐所證實而被認為不需要證明的少數命題為前提，用邏輯推理的方法，將...
- 公理化和形式化
公理化和形式化，研究演繹科學理論和構造演繹系統的兩種方法。解釋 它們被廣泛套用於現代邏輯和數學研究中。公理化就是把一個科學理論公理化，用公理方法研究它，建立一個公理系統。公理化的實現就是：①從它的諸多概念中挑選出一組初始...
- 公理化真理論研究
《公理化真理論研究》是2023年北京師範大學出版社出版的圖書。內容簡介 本書的目的是為了介紹、完善和豐富公理化真理論的成果。全書內容從三個方面進行：第一個方面：以尋求能夠避免說謊者悖論及其變體的“理想真理論”為線索，對以一階...
- 公理系統
數學上，一個公理系統（或稱公理化系統，公理體系，公理化體系）是一個公理的集合，從中一些或全部公理可以用來一起邏輯的導出定理。簡介 一個數學理論由一個公理系統和所有它導出的定理組成。一個完整描述出來的公理系統是形式系統的一個...
- 真之公理化理論
《真之公理化理論》是科學出版社出版的圖書。內容簡介 《真之公理化理論》用公理化方法研究哲學的核心概念“真”，即將真視為一個不通過其他概念來定義的初始概念，通過一組公理與規則研究真的演繹系統，及其相關的結果。《真之公理化...
- 公理(漢語辭彙)
公理系統 公理系統（axiomatic system）就是把一個科學理論公理化，用公理方法研究它，每一科學理論都是由一系列的概念和命題組成的體系。公理化的實現就是：①從其諸多概念中挑選出一組初始概念，該理論中的其餘概念，都由初始概念通過...
- 公理化位勢論
公理化位勢論（axiomatic potential theory）是在抽象空間裡通過設定公理的方法建立起來的位勢理論。簡介 公理化位勢論是在抽象空間裡通過設定公理的方法建立起來的位勢理論。分類 公理化體系大致可分成三類。第一類是調和空間論，第二類是...
- 公理集合論
因而，這一部分與分析、實數理論和遞歸論的關係較為密切。即使限於上述兩個分支的研究，也有許多問題要用到ZF（或ZFC）以外的附加假設才能判定。這裡，常用的附加假設有：可構成公理；各種大基數公理，以及與AC不協調的決定性公理等。哥...
- ZF公理系統
為了填補Cantor在理論基礎上的不足，1908年策梅洛(Zermelo)提出了比較完整的公理，這些公理指明了對集合的哪些操作是合法的。後經過弗蘭克爾（Fraenkel）的完善和補充，形成了ZF公理系統。公理化集合論 (1)外延公理（容積公理）：一個集合...
- 集合論公理系統
建立眾多集合論公理系統的背景是在康托爾集合論中包含著深刻的、豐富的、新的概念和方法，悖論的發現促使人們藉助於公理化方法，以期排除集合論中已知的悖論，並系統地整理康托爾的理論和方法，評價集合論公理系統的科學標準是：1.能夠...
- 不等式基礎理論公理化研究與不等式機器證明
我們建立了控制不等式公理化理論體系的框架，奠定了控制不等式研究的理論基礎．獲得了控制不等式分類的理論基礎，結束了算術控制不等式、幾何控制不等式、調和控制不等式等理論混存的局面．同時我們在積分不等式公理化理論方面取得了初步的...
- 近代公理集合論
近代公理集合論(modern axiomatic set theory) 公理集合論的一個分支，指20世紀初葉建立和發展起來的種種各有其自身公理體系的集合理論。綜述 自從古典集合論出現悖論以後，數學家和邏輯學家就不能不認真對待.對此，美國數學家、數學史家...
- 狄氏型理論
狄氏型理論是公理化位勢論的一種形式，是狄利克雷空間論的進一步發展。狹義的狄氏型理論是指定義在如下希爾伯特空間 的一個稠密子空間D(E)上的、滿足一定條件的雙線性泛函E，即(Y,𝒥)是一個可測空間，μ是(Y,𝒥)上σ有限測度...
- 幾何的公理化方法
公理化幾何是形式化數學的起源，其中有很多著名問題有待解決。對這些著名問題的研究往往會導致許多研究領域特別是代數研究領域的產生。基於公理化思想的數學理論是現代數學的基本特徵。本書詳盡地論述了公理化幾何研究的內容，也給出了許多...
- 基於測度論的系統評價公理化研究
現實表明，系統評價已從單一目的擴展到自然、經濟和社會評價的廣泛需求，評價方法推陳出新，仁者見仁，智者見智，客觀上提出了加強套用基礎理論研究的必然性。為此，本項目提出了一種以測度論為基礎、用系統的觀點、採用公理化方法建立系統...
- 幾何三部曲·第1卷:幾何的公理化方法
公理化幾何是形式化數學的起源，其中有很多著名問題有待解決。對這些著名問題的研究往往會導致許多研究領域特別是代數研究領域的產生。基於公理化思想的數學理論是現代數學的基本特徵。本書詳盡地論述了公理化幾何研究的內容，也給出了許多...
- axiomatic
axiomatic，英語單詞，主要用作形容詞，作形容詞時譯為“公理的；自明的”。單詞用法 ADJ If something is axiomatic, it seems to be obviously true. 不言自明的 [正式]短語搭配 axiomatic theories 公理化理論 Axiomatic Creature ...
- 策梅洛-弗蘭克爾集合論
這些公理支配了集合的行為和互動。ZFC 是標準形式的公理化集合論。使用 ZFC 的大量的正在進行中的普通數學推導請參見 Metamath線上計畫。在 1908 年，恩斯特·策梅洛提議了第一個公理化集合論，策梅洛集合論。這個公理化理論不允許...
- 第一原理
在後者的意思之下，公理又可被稱為“公設”。一般而言，非邏輯公理並不是一個不證自明的事實，而應該說是在建構一個數學理論的過程中被用來推導的一個形式邏輯表示式。要公理化一個知識系統，就是要去證明該系統的主張都可以由數目不...
- 幾何原本(歐幾里得創作的數學著作)
公理化思想 公理化方法的建立具有分析、歸納和總結數學知識的作用，能把分散的、雜亂的、支離片段的幾何知識整理成為一門完整的、嚴密的、系統的科學體系。在一個數學理論體系中，儘可能少地選取原始概念和不加證明的一組公理，以此為出發...
- 新基礎集合論
首先由Kuratowski在1921年提議的有序對常用的定義對於NF和相關理論有個嚴重缺陷：結果的有序對必定有比它的參數(它的左和右投影)的類型高2的類型。所以用途是決定分層的函式有比它的域的成員高3的類型。如果能以其類型是同它的參數一...
- 集合論(數學的主要研究領域)
集合論或集論是研究集合（由一堆抽象物件構成的整體）的數學理論，包含了集合、元素和成員關係等最基本的數學概念。在大多數現代數學的公式化中，集合論提供了要如何描述數學物件的語言。集合論和邏輯與一階邏輯共同構成了數學的公理化...
- 歸納方法的連續統
卡爾納普通過借鑑演繹的分析和運用語義學的方法將機率引入歸納邏輯當中，對歸納邏輯的公理化系統進行研究。他於1950年出版的 《機率的邏輯基礎》和1952年出版的《歸納方法的連續統》是表現其歸納邏輯思想和理論的主要著作。他在其理論中直接...
