弗协调逻辑

语言和逻辑是理论的两大要素。当我们用符号精确描述这一切时,用以表达给定理论T的语言L也就是一堆公式。这些公式都是由初始概念的符号和逻辑符号按一定规则形成的;理论T本身也可看成是对于基础逻辑的规则封闭的一组公式,这些公式称为T的定理。如果语言L中的任一个公式都是T的定理,则称理论T为不足道的;否则,称T为足道的。如果语言L有表示否定的符号,则称公式A为A的否定;如果有一公式与其否定同时都是T的定理,则称T为不协调的;否则,称T为协调的。