Отсутствие не доказуемо?

Отсутствие доказуемо, когда возможен полный перебор. Или когда существуют процедуры, адекватно заменяющие полный перебор. Например, доказуемо утверждение «в этой клетке отсутствуют белые вороны». Или «отстуствуют чётные простые числа, превышающие 2».

Если же полный перебор невозможен, возможны статистические исследования, которые являются более или менее адекватной заменой полному перебору. Например, если вы поймали 1000 ворон и среди них не оказалось ни одной белой, то вы можете сказать, что с достаточно большой вероятностью (например, 99,9%) белых ворон не существует. Но это будет доказательство в естественнонаучном, а не в математическом или логическом смысле.

Для начала, попробуйте доказать отсутствие чего-нибудь попроще. Например, фарфорового чайника, вращающегося по эллиптической орбите между орбитами Земли и Марса.

Если под отсутствием понимается несуществующее, то вы не можете доказать его несуществование, поскольку любое доказательство требует определения. предмета или явления. Но вы не можете дать определение тому, что не существует. Проще говоря, несуществующее не существует ни во времени, ни в пространстве, не существует вне времени и над пространством, ни в сознании, нигде.