517.
      Es frägt sich: Können wir uns denn darin nicht irren, daß wir eine Frage verstehen?
      Denn mancher mathematische Beweis führt uns eben dazu, zu sagen, daß wir uns nicht vorstellen können, was wir glaubten, uns vorstellen zu können. (Z.B. die Konstruktion des Siebenecks.) Er führt uns dazu, zu revidieren, was uns als der Bereich des Vorstellbaren galt.