すべての公理が正しければAであるの対偶が
Aでなければ公理が矛盾する
だから背理法こそ広い意味の対偶証明法よな