Ich will doch sagen wenn der Beweis für ~(∃‒ ‒ ‒) etc. geliefert wäre & wäre unique so wäre er auch nicht der Beweis eines Satzes. Denn dann würde man fragen können: Wie wäre es wenn es anders wäre? Oder: Was ist das System in welchem es nur für das Gegenteil Raum gibt?