00:00おはいりようごじゃいます。矛盾(ある命題とその否定が同時に証明されること)が起きることを示す証明の手法である。対偶が元の命題と同値であることとは異なる概念である。素数が無限にあるというユークリッドによる証明、ネイピア数の無理性の証明などがある。数学的直観主義においては、背理法による証明は成立しない。もとの命題が真であれば、やはり対偶も真になる。人を信用してはいけない、人を信頼してはいけない、という事を言っているわけではありません。社会生活を送ることはできません。ここで、述べたいのは、「人は、都合一つで裏切ることができる存在である」という認識を持つ必要があるという事です。仮に裏切られてしまうと、そのショックは計り知れないものになるでしょう。ならない為にも、事前に真実を知っておくことが大事です。人を美化し、理想化するのは勝手ですが、理想と真実(事実)とのギャップが大きければ大きいほど、人はそのギャップに苦しみます。自分で創りあげた理想を打ち壊し、真実を知っていく事が重要です。人の予想ほどあてにならぬものはない三日かけて予想したものより一分や3分で思いついた語呂合わせやインスピレーションで投資した方がgooooooD。