08/10/02 22:05:17 /QoHmrF50
＞無いというならば無いことを証明しろ。
これは所謂悪魔の証明になるので不可能だ。
事実の有無の証明が問題になる場合、
ある事実がある（積極的事実）と主張する側が当該事実の存在を証明する必要があり、
相手方側がないこと（消極的事実）を証明する必要はないとするのが、多くの場面で妥当すると理解されている。
なぜなら、「あることの証明」は、特定の「あること」を一例でも提示すればすむが、
「ないことの証明」は、厳密には全称命題の証明であり、
全ての存在・可能性について「ないこと」を示さねばならないためである。
すなわち、「ないことの証明」は「あることの証明」に比べ、一般に困難である（検証と反証の非対称性）。
今回の場合、俺が「人大杉ではない」ことを証明するには専ブラを使用していないすべての2ch利用者を対象に調査を行い、
人大杉ではないことを裏付けなければならないが、どう考えても物理的に不可能である。
逆にそちらが「人大杉である」ことを証明するには自らを以て「人大杉である」ことを裏付ける証拠を出すだけでよい。
もしそちらがその証拠を出せなければ積極的事実を証明できなかったとして「2chにおいて人大杉は日常的であるか」の命題は偽となるのである。