一、 证明妨碍基本理论的重构