From the steps and see the rationale - - be required to form a contradictory logic of the law rafts laws also be required to give details of the logical structure 并从步骤中看出反证法的逻辑依据形式逻辑中的矛盾律，排中律，同时给出了反证法的详细的逻辑结构。
2.
No certain conclusion or contradiction will be reached when we try to judge whether a self - reference proposition with unclear content is true or false 摘要应把“自指代命题”从“自指命题”中区分出来，前者违反同一律，作代换还可能违反矛盾律，因此禁止使用自指代命题。
