Kann man sagen: alle so gebildeten Sätze sind wahr? Man kann sagen: dieses Bildungsgesetz ergibt lauter wahre Sätze. In Zeichen ist das aber nicht die Behauptung eines logischen Produkts sondern die Behauptung eines variablen Satzes. Und diese Behauptung bedeutet nichts anderes als daß, was ich demonstrieren kann || will, sich schon an der allgemeinen Form demonstrieren läßt.