- axiomatic
adj. 
自明的
1. evident without proof or argument
同義詞：self-evident, taken for granted
2. containing aphorisms or maxims
同義詞：aphoristic
3. of or relating to or derived from axioms- S.S.Stevens
同義詞：axiomatical, postulational
adj. 1. evident without proof or argument
同義詞：self-evident, taken for granted
2. containing aphorisms or maxims
同義詞：aphoristic
3. of or relating to or derived from axioms- S.S.Stevens
同義詞：axiomatical, postulational
相關詞條
-
axiomatic
axiomatic adj. 自明的 英英解釋:形容詞axiomatic:1. evident without proof or argument同義詞：self-evident, taken...
-
自然推理系統
基本介紹演繹邏輯的核心問題:一是判定問題，即如何判定推理有效；二是推導問題，即如何進行有效推理。演繹邏輯系統要同時解決這兩個問題...
基本介紹 基本規則 例題解析 -
公理集合論
原理簡介第一個常用的公理系統是E.F.F.策梅洛和A.A.弗倫克爾等提出的ZF系統。這個系統中只有一個非邏輯二元關係符號∈，非邏...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
關係契約
的“前世”。古典契約法的特徵1.不證自明的（axiomatic）和演繹...
理論介紹 “前世” “今生” “未來” 理論創立者 -
公理化集合論
公理化集合論是數學的一門分支。在數學中，公理化集合理是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合...
-
數學公理化方法
公理化方法的作用和意義是:1.分析、總結數學知識.凡取得了公理化結構形式的數學，由於概念和定理均已按照邏輯演繹關係串聯起來，就有...
-
ZFC公理集合論系統
內容ZFC系統中有下列10條非邏輯的集合論公理:即外延公理、對偶公理、空集公理、子集公理、並集公理、冪集公理、無窮性公理、選擇公...
內容 解析 -
近代公理集合論
綜述近代公理集合論(modern axiomatic set theory) 公理集合論的一個分支.指20世紀初葉建立和發展起來的種種各有其自身公理體系的集合理論.自從古典集合論出現悖論以後，數學家和邏輯學家就不...
綜述 發展
