今回の数学エッセーでは, 数学の中では, 幾分通俗的な記事を書いてみます. テーマは, 『背理法は必要か?』 ここで言う背理法とは, 論理式 A に対し, not A を仮定して矛盾が出たら, A が証明可能であると主張する原理です. 結論を言うと, 数理論理学に, 以下…