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