Der Beweis von 17 + (18 + 5) = (17 + 18) + 5 wird allerdings nach dem Schema B geführt & dieser Zahlensatz ist von der Form A. Oder auch: B ist der Beweis des Zahlensatzes; aber eben deshalb nicht von A.