Die Unentscheidbarkeit setzt voraus, daß zwischen den beiden Seiten, 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. Denn die Gleichung deutet eine Brücke an, die zwischen den Symbolen geschlagen werden kann.