0905ウィズコロナの名無しさん垢版 | 大砲2023/03/19(日) 10:02:50.92ID:e6HueDbP0 >>885 それなにがソース?脳内? おれは以下のような一般的な話をしてるだけだが >悪魔の証明とは、もともとは所有権帰属の証明の困難性を比喩的に表現した言葉だったようだが、今では消極的事実の証明の困難性を表す。 例えば、“地球上にツチノコはいる”という命題を証明するためには実際にツチノコを見つければよいのに対し、“地球上にツチノコはいない”という命題を証明することは難しい。