数学を悟ってみて(その31)

現在2020年12月28日6時14分である。(この投稿は、ほぼ4498文字)麻友「昨日は、前半で、証明したはずのことが、後半、覆っちゃったわね」私「本当に、研究をしているということだ」結弦「一昨日、後で証明するけど、『二重否定』を、認めると、『排中律』が、成り立つって言ってたけど、証明は、後回しに…