axiomatic，英語單詞，主要用作形容詞，作形容詞時譯為“公理的；自明的”。
《Axiomatic Bargaining Game Theory》是1992年出版的圖書，作者是Peters, Hans J.M。內容簡介 Many social or economic conflict situations can be modeled by specifying the alternatives on which the involved parties may agree, and...
自然推理系統(axiomatic system of natural deduction)一種謂詞演算公理系統。所謂自然推理系統，是指不含任何公理、只含規則的推理系統。除了重複規則Rep外，每個連線詞符號一般都有I規則(引人連線詞符號)和E規則(消去連線詞符號)；對於...
公理集合論（axiomatic set theory），是數理邏輯的主要分支之一，是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。19世紀70年代，德國數學家G.康托爾給出了一個比較完整的集合論，對無窮集合的...
數學公理化方法(axiomatic method of mathe-matics)一種常用的數學方法.從儘可能少的不定義的原始概念(基本概念)和一組不加證明的命題(公理)出發，經過精確定義和邏輯推理而得到其他的全部概念和定理的、建立數學系統的方法。公理化方法...
公理化量子場論（axiomatic quantum field theory）是用嚴格的公理來描述量子場論的一門數學學科。它與泛函分析和運算元代數密切相關，但近年來也從更加幾何、更加泛函的角度進行了研究。在這個學科中有兩個主要的挑戰。首先，人們必須提出一...
公理化位勢論（axiomatic potential theory）是在抽象空間裡通過設定公理的方法建立起來的位勢理論。簡介 公理化位勢論是在抽象空間裡通過設定公理的方法建立起來的位勢理論。分類 公理化體系大致可分成三類。第一類是調和空間論，第二類是...
量子霍爾公理系統（quantum Hoare axiomatic system）是2018年公布的計算機科學技術名詞。定義 使用量子霍爾邏輯對量子程式的正確性進行推理的一組邏輯規則。應明生給出了量子霍爾邏輯的部分正確性和完全正確性公理系統，並證明它們都是可靠且...
亨廷頓公理系統(Huntington axiomatic system)通常用來定義布爾代數〈B，+，·，′，0，1〉的一種公理系統，由亨廷頓(E.V.Huntington)於1904年提出，值得指出的是，這個公理系統中每一條都有兩個式子，它們互為對偶，因此通常把這些條件...
公理化場論 公理化場論（axiomatic field theory）是2019年公布的物理學名詞。公布時間 2019年，經全國科學技術名詞審定委員會審定發布。出處 《物理學名詞》第三版。
ZFC公理集合論系統(ZFC axiomatic set theory system)一種近代公理集合論系統.它是第一個公理集合論系統，由德國數學家策梅洛(Zermelo , E. F. F.)於1908年建立，後經德國學者弗倫克爾 (Fraenkel , A. A.)和挪威數學家斯科朗(...
非形式公理學 非形式公理學（informal axiomatics）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
中介公理集合論(medium axiomatic set theory)一種公理集合論系統.是以中介邏輯演算MI,為邏輯推理工具的非經典的公理集合論系統。簡介 中介公理集合論(medium axiomatic set theory)一種公理集合論系統.是以中介邏輯演算MI,為邏輯推理工具...
GB公理集合論系統(GB axiomatic set theory system)一種近代公理集合論系統.該系統是由美籍匈牙利數學家馮·諾伊曼(von Neumann, J.)於 1920年首先給出的，德國學者貝爾奈斯(Bernays, P.)於1937年以後的一系列重要論文中又進一步發展了...
近代公理集合論(modern axiomatic set theory) 公理集合論的一個分支，指20世紀初葉建立和發展起來的種種各有其自身公理體系的集合理論。綜述 自從古典集合論出現悖論以後，數學家和邏輯學家就不能不認真對待.對此，美國數學家、數學史家...
量子場論的哈格-卡斯特勒公理化框架（Haag-Kastler axiomatic framework）由 Haag 和 Kastler 於 1964 年提出，是 C*-代數（C*-algebra）理論在局域量子物理（local quantum physics）中的一則套用。因此，它也被稱為代數量子場論（...
