Die Unentscheidbarkeit setzt voraus, dass zwischen den beiden Seiten, sozusagen, eine unterirdische Verbindung besteht; dass 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.