Der Existenzbeweis (in unserm Sinne) ist
offenbar der Beweis der Existenz einer Zähl im Intervall I. Denn wenn man sagt das Intervall ist nicht wesentlich denn ein anderes hätte es auch getan so heißt das naturlich nicht daß es das Fehlen einer Intervalangabe 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.