>>642
命題Aが真である事を証明する。

「命題Aが偽ならば、矛盾が起きる。よって命題Aは真。」


命題Aが真でも矛盾が起きる可能性は無いのですか?