一、逻辑学和本体论的一致