問題: 結論を否定することで生まれた矛盾を導くことによって、元の結論が正しいことを示す数学的証明法を何というでしょう?
答え: 背理法