Beweise durch Induktion über den rekursiven Aufbau der Sprache ${\displaystyle {}L^{V}}$, dass in jeder Aussage ${\displaystyle {}\alpha \in L^{V}}$ die Anzahl der linken Klammern mit der Anzahl der rechten Klammern übereinstimmt.