＞背理法とは、結局否定出来ないことを示すと言うことだ。
＞公理から推論出来ないとしたら辻褄が合わないのだから、公理から推論出来るのだと言うだけのこと。

全然違う