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