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