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