Wie ist die rein technische Verifikation von (x): x² = 2x ⊃ x = 0 ⌵ x = 2?
     Ich rechne x aus einer Gleichung aus, setze den Wert überall ein & muß dann einen wahren Satz erhalten.