宇宙人がいることを証明するには、宇宙人を一人見つければいいが、宇宙人がいないと証明することはほぼ不可能。これが悪魔の証明。
宇宙人がいないと証明することはほぼ不可能である以上、宇宙人が存在すると仮定するほうが理に叶っているため、宇宙人はいると仮定した場合、宇宙人にとって地球人は宇宙人なので、宇宙人は地球人を一人見つければ宇宙人がいることを証明できるが、地球人は地球人がいることを知っているから地球人がいないと証明することは不可能。これが天使の証明。
同じように、悪魔がいることを証明するには、悪魔を一人見つければいいが、悪魔がいないと証明することはほぼ不可能。これが悪魔の証明。
悪魔がいないと証明することはほぼ不可能である以上、天使が存在すると仮定するほうが理に叶っているため、天使はいると仮定した場合、悪魔にとって天使は悪魔なので、悪魔は天使を一人見つければ悪魔がいることを証明できるが、天使は天使がいることを知っているから天使がいないと証明することは不可能。これが天使の証明。
