内容

• 一致的

  
  

  在经典演绎逻辑中，一致的理论是不包含矛盾的理论。缺乏矛盾可以用语义或句法来定义。语义定义指出，当且仅当理论具有模型时，该理论才是一致的，即存在一种解释，该理论下该理论中的所有公式均为真。这是传统亚里士多德逻辑中使用的含义，尽管在当代数学逻辑中使用了可满足的术语。句法定义规定，当且仅当没有公式φ{ displaystyle varphi}使得φ{ displaystyle varphi}及其否定¬φ{ displaystyle lnot varphi}是集合T { displaystyle T}的元素。假设A { displaystyle A}是一组闭句（非正式地称为“轴”），⟨A⟩{ displaystyle langle A rangle}可以由A { displaystyle A}在某些（指定为可能暗含）正式演绎系统。当⟨A⟩{ displaystyle langle A rangle}成立时，公理集A { displaystyle A}是一致的。如果存在一个演绎系统，这些演义系统的语义和句法定义与在特定演绎中公式化的任何理论均等价逻辑，该逻辑称为完成。句子微积分的完整性由Paul Bernays于1918年和Emil Post于1921年证明，而谓词微积分的完整性由KurtGödel于1930年证明，而归纳公理图式受限的算术一致性证明由Ackermann证明。 （1924年），冯·诺依曼（1927年）和赫布兰德（1931年）。更强大的逻辑（例如二阶逻辑）并不完整。一致性证明是特定理论是一致的数学证明。数学证明理论的早期发展是由作为希尔伯茨计划的一部分为所有数学提供最终一致性证明的愿望所驱动的。 Hilberts程序受到不完备性定律的强烈影响，不完备性定理表明，足够强大的证明理论不能证明其自身的一致性（前提是它们实际上是一致的）。尽管可以通过模型理论来证明一致性，但是通常以纯粹的语法方式完成一致性，而无需引用某些逻辑模型。割除（或如果有的话，对下层演算进行归一化）就意味着演算的一致性：由于显然没有虚假的无割证明，因此通常没有矛盾。

• 一致（形容词）

  一致的拼写错误

• 一致（形容词）

  
  

  具有定期发生的，可靠的性质的。从16世纪末开始从过时的意义上“由...组成”

  “除了一些最初的娱乐，在中国一贯使用中式英语可能会很烦人。”

  “他的政治选择非常一致：经济好坏，他总是投票给工党！”

• 一致（形容词）

  兼容，一致。

• 一致（形容词）

  一组陈述中的：在逻辑上没有从中得出矛盾。

• 一致（名词）

  共存的或相互同意的对象或事实。

• 一致（名词）

  一种pen悔者，被允许协助允许他们接受圣礼。

• 一致（形容词）

  具有固定性或固定性的；具有固定性的公司;硬;固体。

• 一致（形容词）

  与自己或与别人达成协议；各部分之间保持和谐；具有团结一致和谐; gr兼容;制服;不矛盾。

• 一致（形容词）

  按照信仰或职业生活或行事

• 一致（形容词）

  （有时后跟`with）一致或一致或可靠；

  “与已知事实相符的证词”

  “我认为我所遵循的行为与我在战时担任总统时的责任感是一致的”

• 一致（形容词）

  以零件的有序，逻辑和美学上一致的关系为特征；

  “合理的论点”

  “有序的介绍”

• 一致（形容词）

  能够被复制；

  “可以获得惊人的可重复结果”

• 一致（形容词）

  整个结构或组成相同；

  “烟煤通常被视为一致且均质的产品”