证明考察对象是存在的。这种证明通常这只能间接指出对象的存在性，却不能具体构造出所需对象。