Die Annahme der Unentscheidbarkeit setzt voraus, dass zwischen den beiden Seiten einer Gleichung, sozusagen, eine unterirdische Verbindung besteht; dass die Brücke nicht in Symbolen geschlagen werden kann. Aber den-
639
noch besteht; denn sonst wäre die Gleichung sinnlos. – Aber die Verbindung besteht nur, wenn wir sie durch Symbole // einen Kalkül // gemacht haben. Der Uebergang ist nicht durch eine dunkle Spekulation hergestellt, von andrer Art als das was er verbindet. (Wie ein dunkler Gang zwischen zwei lichten Orten.)