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 log. Produkts sondern die Be[p|h]auptung 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.