関連する諺消極的事実の証明に関連する法諺として、「否定する者には、立証責任はない」がある[15]。
パウルスは「主張する者は証明を要し、否定する者は要しない」とした[15]。ディオクレティヌスとマクシミアヌスは「事実を否認する者には、立証義務はない」とした[15]。現在では、法律要件分類説が通説となっている[15]。
悪魔の証明の誤用「ヘンペルのカラス」および「消極的事実の証明」も参照
悪魔の証明は証明不可能な事態を指し、単に証明困難な事態を指すのではない[2]。「ない」という消極的事実の証明を求めることは証明不可能で悪魔の証明になるが、「ある」という積極的事実の証明を求めることは単に証明困難なだけで悪魔の証明にならない[2]。
脚注[脚注の使い方]^ 田中整爾『占有論の研究』 有斐閣 (1975)p84.ゲオルク・クリンゲンベルク『ローマ物権法講義』(瀧澤栄治訳)2007年、大学教育出版、p.77.藤原弘道「占有正権原の立証と占有の推定力」判例タイムズ 18巻5号, pp64-68, 1967年3月、判例タイムズ社
^ a b c d e f g h i j k l m 七戸克彦「所有権証明の困難性(いわゆる「悪魔の証明」について) : 所有権保護をめぐる実体法と訴訟法の交錯
」『慶應義塾大学大学院法学研究科論文集』第27号、慶應義塾大学、1988年3月、p73-97、.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}