Damit daß gesagt wird daß aus der unendlichen Hypothese jede (u) ∙ (∃ux) φx ⌊⌊wie ich sie nur der Kürze wegen jetzt schreiben will⌋⌋ jeder beliebige Satz (∃ux) φx folgt & sie selbst aus keinem dieser Sätze ist natürlich noch gar nichts über den weiteren Gebrauch dieses Spiels gesagt.