极大协调集

满足下面条件的公式集合：①它是协调的，即不存在公式A，从它能推出A又能推出A。②它不是其它协调的公式集合的真子集。如果公式集合Φ是极大协调的，则对任何公式A，A∈Φ或者A∈Φ。上述公式集合和公式，都指对某个语言而言。