516.
      Es scheint klar: wir verstehen, was die Frage bedeutet “Kommt die Ziffernfolge 7777 in der [D|E]ntwicklung von π vor?” Es ist ein deutscher Satz; man kann zeigen, was es heißt, 415 komme in der Entwicklung von π vor; und ähnliches. Nun, soweit solche Erklärungen reichen, soweit, kann man sagen, verts versteht man jene Frage. Es
– 265 –