Wäre dies ein Beweis:
Man schreibt
      ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ + ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ = ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ & legt || wägt (dann) die Tinte auf (den) beiden Seiten der Gleichung || des Gleichheitszeichens; wiegt sie gleichviel || ist das Gewicht das Gleiche, so ist die Gleichung richtig. Nun, diese Wägung könnte uns sehr wohl zum || 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 Experiment. || experimenteller Beweis, eines nicht-mathematischen Satzes.