基础逻辑-唯一性推理