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.