Arkad
Местный
Если корректно подойти к понятию "существование объекта", то скорее всего это объект, находящийся в области пересечения неких двух множеств. Тогда для доказательства существования достаточно предъявить хотя бы один объект из одного мн-ва, который в то же время принадлежит и второму множеству.если у меня есть доказательство существования объекта, почему бы другому не иметь доказательств отсутствия того же самого объекта.
Т.е. процедура построения доказательства существования прозрачна, очевидна и осуществима.
А как вы себе предствавляете доказательство несуществования? Придется доказывать непересечение множеств - т.е. - остсутствие (несуществование) пересечения. Возникнет змея, кусающая собственный хвост. Для доказательства несуществования чего-то придется доказывать несуществование чего-то еще.