Wenn ich also sagte “R || V wird ja gar nicht zur Konstruktion benützt, also haben wir mit ihm nichts zu tun”, so hätte es heißen müssen: Ich habe es doch nur mit A und B allein zu tun. Es genügt doch, wenn ich A und B mit einander konfrontiere und nun frage “ist B ein Beweis von A”; und also brauche ich A nicht aus B nach einer vorher festgelegten Regel zu konstruieren, sondern es genügt, daß ich die einzelnen A – wie viele es sind – den einzelnen B gegenüberstelle. Ich brauche eine Konstruktionsregel nicht; und das ist wahr. Ich brauche eine vorher aufgestellte Konstruktionsregel nicht (aus der ich dann erst die A gewonnen hätte).