Aber was ist denn die Verifikation von (∃x)x² = 2x? Ich meine die spezifische Verifikation dieser Gleichung || dieses Satzes, im Gegensatz zur Verifikation 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.