矛盾律 การใช้

• 并从步骤中看出反证法的逻辑依据形式逻辑中的矛盾律，排中律，同时给出了反证法的详细的逻辑结构。
• 摘要应把“自指代命题”从“自指命题”中区分出来，前者违反同一律，作代换还可能违反矛盾律，因此禁止使用自指代命题。