/  
Aber was ist denn die Verification von (∃x)x² = 2x? Ich meine die spezifische Verification diese[r|s] Gleichung Satzes, im Gegensatz zur Verification von „(x): x² = 2x ⊃ x = 2 ⌵ x = 0”.
Denn muß nicht der andere Satz ˇ– d.h. der andere Sinn – auch anders verifiziert werden? Etwa, der allgemeinere, allgemeiner.