Denn mancher math. 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
53
des 7-Ecks.)
     Er führt uns dazu (eben das) zu revidieren, was wir für den Bereich des Vorstellbaren hielten || erklärten.