8.3.1 自相矛盾中的反证法思想