邏輯名詞。已為實(shí)踐反復(fù)證實(shí)而不需要證明的真理。可用來(lái)作為證明其它事理的論據(jù)，如“等量加等量其和相等”，“整體大于部分”等都屬公理。
axiom[??ksi?m]
n.公理
◇ axiom for preference優(yōu)選公理
axiom of alignment關(guān)聯(lián)公理
axiom of Cantor康托爾公理
axiom of choice選擇公理
axiom of closure閉合公理
axiom of comprehension包含公理
axiom of construction可構(gòu)成性公理
axiom of ethics 倫理學(xué)公理
axiom of extensionality外延性公理
axiom of groundedness有底公理
axiom of infinity無(wú)窮公理
axiom of necessity必然性公理
axiom of null set空集公理
axiom of pairing配對(duì)公理
axiom of parallels平行公理
axiom of probability概率公理
axiom of reducibility可還原性公理
axiom of regularity規(guī)則性公理
axiom of separation分離公理
axiom of sumset和集公理
axiom of the empty set空集公理
axiom of union并集公理
axiom schema公理模式
axiomatic adj. axiomatic basis公理基礎(chǔ)
axiomatic decision theory公理判定論
axiomatic set theory公理集合axiomatic theory公理論
axiomatics n.公理學(xué)
axiomatize v.（使）公理化
axiomatized system公理化系統(tǒng)
axiomatization n. axiomatically adv.公理上，按公理