Ich frage nun: könnten wir uns von der Wahrheit des Satzes 7034174 + 6594321 = 13628495 auch durch einen Beweis überzeugen, der in der ersten Notation geführt wäre? – Gibt es so einen Beweis dieses Satzes? – Die Antwort ist: nein.