自由逻辑 自由逻辑是免除存在性假定的逻辑或者说它是定理在包括空域的所有论域中都有效的逻辑