Der Existenzbeweis (in unserm Sinne) ist
offenbar der Beweis der Existenz einer Zahl im Intervall I. Denn wenn man sagt das Intervall ist nicht wesentlich denn ein anderes hätte es auch getan so heißt das natürlich nicht daß es das Fehlen einer Intervallangabe auch getan hätte. Der Beweis der Nicht-Existenz nun hat zum Beweis der Existenz nicht das Verhältnis eines Beweises von p zum Beweis des Gegenteils.