网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Independent axiom
释义

Independent axiom

英语百科

Axiom independence

An axiom P is independent if there are no other axioms Q such that Q implies P.

In many cases independence is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an independent axiom to create a more concise system (for example, the parallel postulate is independent of Euclid's Axioms, and can provide interesting results when a negated or manipulated form of the postulate is put into its place).

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/18 8:08:19