0024132人目の素数さん垢版 | 大砲2018/05/18(金) 23:59:43.13ID:4eoGWamn カントールの対角線論法も背理法でしょう。 だから背理法を否定したら、実数の無限集合が可付番集合でないことさえ 証明できなかった訳で。数学は背理法的な逆から矛盾を導くツールが多いよ