明らかに「背理法」が変な証明もあるのでそれは排除した方がよい。
例えばある集合からそれの冪集合への全射がないことを示すのに、
「全射があったと仮定する」と言いながら、全射であるという条件を使わず、
単に写像であるということだけから値域に入らないものを作ってる。
それで「背理法の仮定に反する」という証明。変だよな。
普通に、「集合から冪集合への写像は全射ではない」と言えばいいだけだから。