出正特性formula_7是可能的。（i.e.在所有特性当中，我们总得界别其中一些为善，否则定义善特性已经没意思了。）公设 1：任何由一个正特性formula_7所导出的特性formula_8必然为正。公设 2：假如一个特性formula_7的逻辑非为正，那formula_7为非正。（i.e.特性formula_7与非formula_7必为一善一邪）定理 1：如果一个特性formula_7为正，那它是相容（consistent）的，即是，formula_7可能找得到例子（exemplified）