Aber was ist denn die Verifikation von (x).x² = 2x? Ich meine die spezifische Verifikation 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.