Wäre dies ein Beweis:
Man schreibt
       ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ + ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ = ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ &
wägt
legt
(dann) die Tinte auf ˇ(den) beiden Seiten
des Gleichheitszeichens
der Gleichung
;
ist das Gewicht das Gleiche
wiegt sie gleichviel
, so ist die Gleichung richtig. Nun, diese Wägung könnte uns sehr wohl z als Beweis d.h. als Kriterium // Erkennungszeichen // dafür dienen, daß auf den beiden Seiten dieser individuellen (token) Gleichung insgesamt gleichviel Striche stehen, aber sie wäre kein Beweis ˇder Additionsformel im Sinne der Mathematik, sondern ein
experimenteller Beweis,
Experiment.
eines nicht-mathematischen Satzes.