Маленькое эссе на два поста.
Не обязательно читать этот, чтобы понять следующий, и наоборот, но мысль у них общая.


С точки зрения существующих систем кодирования (языки речи, языки программирования, а также формальная логика (аналитика), аристотелевская и неаристотелевская логики (я не силен в силлогистике, но верю людям, которые говорили мне, что и в ней доказательство того, чего нет, невозможно)), насколько мне известно, не существует терминов, в которых "доказательство отсутствия" чего-либо, принципиально могло бы существовать. То есть, доказать отсутствие в принципе невозможно. С "доказательством отсутствия" наиболее часто имеют дело в юриспруденции; там доказывать то, чего не существует - противоречит законодательству, поэтому, если не доказано наличие факта, значит подтверждено его отсутствие.