Wiki. 几何逻辑 [几何逻辑]

几何逻辑是一种一阶逻辑的片断.