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.