| 词条 | 一致性 |
| 类别 | 中文百科知识 |
| 释义 | 一致性又称“协调性”、“不矛盾性”。形式系统的基本性质之一。1.语法一致性是指：一形式系统不能在自身中同时推出一个命题及其否定。在不包含否定符号的逻辑形式系统中（这样的系统是存在的），语法一致性的定义要宽一些：如果一形式系统不能在自身中推出一切命题，那么，它是语法一致的。2.语义一致性是指：一形式系统至少有一个模型。形式系统必须满足一致性。 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。