举报海涵007的博文：

纯逻辑推导方法对缠论的新应用