Wie verhält sich der ‚ausgeführte’ Beweis zum allgemeinen, scheinbar nur angedeuteten? ◇◇◇
     Oder:
      Gehören sie verschiedenen Symbolsystemen an?
     Sonst aber muß doch, was der erste mehr enthält als der zweite, überflüssig sein.