/  
  Wenn Rechenmaschinen in der Natur vorkämen etwa als & von den Menschen gefunden ˇ& benützt würden, so hätten wir z.B. eine Arithmetik ohne Sätze & ohne Beweise.