Aber was ist den die Verifikation von (Ex).x² = 2x? Ich meine die spezifische Verification dieses Satzes, im Gegensatz zur Verifikation von “(x):x² = 2x:C:x = 2. V .x = 0”. Denn muss nicht der andere Satz – d.h., der andere Sinn – auch anders verifiziert werden? Etwa, der allgemeinere, allgemeiner.

✓ ?