BI, BII sind Beweise von 17 + (28 + 14) = …, 17 + 1 = 1 + 17 etc.. Wenn das wahr ist, so sind sie insofern auch Beweise von AI AII etc., aber eben nur insofern (als) A die Form des Zahlenbeispiels ist, also nicht allgemein. Außer ihrer Beweiskraft für das besondere Zahlenbeispiel besitzen sie dann noch eine formelle Eigenschaft, die eben darin besteht, daß B so & so gebaut ist (wie man es beschreiben kann. Und mehr ist nicht da.