悪魔の証明の本質は
<ある>/<ない>じゃなからな
よく使われる例題がそうなだけで