Damit, daß gesagt wird, daß aus der unendlichen Hypothese “(n) :(nx).fx” (wie ich sie, der Kürze wegen, jetzt schreiben will) jeder beliebige Satz (nx).fx folgt und sie selbst aus keinem logischen Produkt dieser Sätze, ist natürlich noch gar nichts über den weiteren Gebrauch dieses Spiels gesagt.