もし数学に背理法を不要とした場合、どうなるかを背理法で証明してみよう


数学に背理法は不要である(命題)

背理法を使わない数学体系は、夥しい困難と混乱、カオス、狂気に陥った

よって、数学に背理法は不要であるという命題は、数学の成立と整合性と矛盾する

すなわち背理法によって、数学における背理法の必要性が証明された(証明終)



これはトートロジー(恒真命題)ですｗ